)))
1) Думаю, в
![$6$ $6$](https://dxdy-04.korotkov.co.uk/f/3/2/7/327c36301dc71617dc7032f8ce30b23682.png)
-м классе нынче формулой никого не удивишь, даже учителя. Да еще без надобности выставленной — типа самый умный? Штоли.
2) По поводу корректности предъява справедливая. Просто нашел последовательность в OEIS, потом сумму и подставил формулу, особо не вникая в то что там написано. Не привык я с английским бодаться. Старомодный.
3) Возможно, формула верна только для для
![$s<20$ $s<20$](https://dxdy-02.korotkov.co.uk/f/1/1/3/113a4d86e5c88e440bdc595f2802068182.png)
и нуждается в обобщении. Далее приходится учитывать варианты с двумя "чуждыми" цифрами и более, поэтому верный результат может оказаться меньше. Хорошо бы это проверить, так что пусть пока лежит.
Исправлено 21:25