есть функция вида
f(t)=P(t)-exp(t)
P(t) - полином какой-то степени (может быть большая).
надо показать, что для всех t>0 она меньше нуля.
В качестве идеи я думал взять производную и сравнить ее с нулем:
f'(t)=P'(t)-exp(t).
а потом по экстремумам пройтись. Но тут не поятно, как гарантированно найти _все_ нули. Ну и вообще понять сколько же нулей в такой функции...