Исправление unC0Rr, (текущая версия) :
P(t) < exp(t)
умножаем на exp(-t)
P(t)*exp(-t) < 1
находим экстремумы
0 = (P(t)*exp(-t))' = P'(t)*exp(-t) - P(t)*exp(-t)
делим на exp(-t)
P'(t) - P(t) = 0
Исходная версия unC0Rr, :
P(t) < exp(t)
умножаем на exp(-t)
P(t)*exp(-t) < 1
находим экстремумы
(P(t)*exp(-t))' = P'(t)*exp(-t) - P(t)*exp(-t)
делим на exp(-t)
P'(t) - P(t) = 0