Вы не дочитали тот абзац до конца.
Действительно недочитал, уж очень спать хотелось в два часа ночи, извините. Однако Вы либо тоже куда-то торопились,
либо опирались на некий факт, который считали само собой разумеющимся, тогда как дилетантам (наподобие Siempre Su Servidor), приходится переоткрывать.
Вот и буду переоткрывать с утра пораньше со свежим взглядом.
Будем считать пятерки границами промежутков. В каждом из таких промежутков обязана присутствовать одна единица (выполняющая роль непятерки).
Пусть у нас n пятерок. Тогда единиц должно быть не меньше n-1.
Если единиц точно n-1, то получаем ровно 1 положение.
Если единиц n, то свободная единица может идти либо в начало, либо в конец, либо в один из n-1 промежутков между пятерками. Получаем n+1 возможных положений.
Если единиц n+1, имеем две свободные единицы и те же n+1 промежутков, поэтому каждому положению соответствует пара чисел, каждое из которых от 1 до n+1. Чтобы избежать «déjà vu», будем рассматривать только неубывающие последовательности.
Например, для 3 пятерок и 4 единиц имеем:
11: 1151515
12: 1511515
13: 1515115
14: 1515151
22: 5111515
23: 5115115
24: 5115151
33: 5151115
34: 5151151
44: 5151511
Чтобы посчитать количество таких пар, увеличим первое число на 1. Тогда числа станут разными и получим «классические» сочетания, число которых
.
В общем случае получаем
положений, где n - количество пятерок, m - количество единиц.
В частности, при n=5, m=8 получаем
. Самое удивительное (конечно не для Вас, а для меня, поскольку, к своему стыду, я до сих пор не понимаю Вашей логики), что это в точности совпадает с Вашей оценкой
.