Таким образом, сумма ряда

иррациональна, если начиная с некоторого

выполняется

.
А вот это нет
-- 17.04.2015, 10:57 --Но на самом деле есть решение намного проще чем вы написали

.
Имеется в виду, что у ряда все коэффициенты неотрицательные целые числа и бесконечно много положительных.
У вас это явно не говорилось для обобщений, разве что в самом начале было
![$\in [1,8]$ $\in [1,8]$](https://dxdy-02.korotkov.co.uk/f/5/5/d/55d417805b1f63c024aa1b18e482321982.png)
, который надо было так расшифровать.
Тогда можно сформулировать теорему:
Сумма ряда

рационально только в двух случаях, когда существует
1)

2)

.
Проще доказательства нет, кроме как умножать на факториал большого числа и получить противоречие (целое=целое+остаток, 0<остаток<1).