Доказать, что функция примитивно рекурсивна

[side-step]

Добрый вечер!

$[ex]$

$[e^x]$

где []-целая часть

Понятно, что экспоненту мы разлагаем в ряд по Тейлору
С помощью оператора ограниченной минимизации ?
Никак придумать не могу

[Sonic86]

Может попробовать явно указать некий номер ряда Маклорена как функцию от $x$, для которого потом доказать, что достаточно взять именно такое число членов, чтобы потом можно было взять целую часть и получить искомую функцию. И потом сказать, что вот, мол, функция является композицией примитивно рекурсивных, значит она примитивно рекурсивна тоже. Не пробовали?