Примитивно рекурсивная функция

[Sonic86]

pepe в сообщении #921384 писал(а):

Ну вот, "почти всё" и тупик. Вроде то же самое, только начинается не с 1, а с некоторого r. Ну и сумма должна быть меньше.

Правильно.

pepe в сообщении #921384 писал(а):

я складывал члены, а потом, когда они стали достаточно малы, округлил до 20

Только не "округлил", а "взял целую часть". Вот этот текст - это фактически наиболее нужная часть доказательства, запишите ее в общем виде формулами.
Ну сделайте уже что-нибудь. Нельзя одну задачу так долго решать.

[pepe]

$[e^x]=\sum\limits_{n=1}^{p} \frac{x^n}{n!} $, где $p = n \min$ при $\frac{x^n}{n!} < 1$
Степень прф, факториал - прф, целая часть от деления - прф.

Sonic86 в сообщении #921499 писал(а):

Ну сделайте уже что-нибудь. Нельзя одну задачу так долго решать.

[arseniiv]

pepe в сообщении #921606 писал(а):

целая часть от деления - прф

Но ведь целая часть-то не от деления берётся, а от суммы делений. $\left\lfloor\frac12 + \frac34\right\rfloor \ne \left\lfloor\frac12\right\rfloor + \left\lfloor\frac34\right\rfloor.$

[Sonic86]

pepe в сообщении #921606 писал(а):

$[e^x]=\sum\limits_{n=1}^{p} \frac{x^n}{n!} $, где $p = n \min$ при $\frac{x^n}{n!} < 1$

Не так грубо, но похоже. Опять надо вспомнить, когда функциональный ряд определяет функцию.

[pepe]

Sonic86 в сообщении #921668 писал(а):

Не так грубо, но похоже. Опять надо вспомнить, когда функциональный ряд определяет функцию.

Когда он сходится?

[Sonic86]

pepe в сообщении #921691 писал(а):

Когда он сходится?

Да.
А когда ряд сходится? (развиваем мысль)

[pepe]

Когда предел равен 0? х)
Или когда последовательность стремится к нулю

-- 21.10.2014, 22:11 --

Ещё-какие-то признаки были.

[Sonic86]

pepe в сообщении #921705 писал(а):

Когда предел равен 0? х)
Или когда последовательность стремится к нулю

Еще. Нужно эквивалентное утверждение. Оно уже упоминалось.

[pepe]

Эквивалентное? Хм, бесконечно малая последовательность
Ещё признак Даламбера с пределом $\lim\limits_{n\to \infty} = \frac{a_{n+1}}{a_n}$

[Sonic86]

(Оффтоп)

pepe в сообщении #921750 писал(а):

$\lim\limits_{n\to \infty} = \frac{a_{n+1}}{a_n}$

[pepe]

Опять равно не туда
$\lim\limits_{n\to \infty} \frac{a_{n+1}}{a_n} = D$