(1)
Per
ogni M>0, se x > k =
eM, risulta
.
(2)
Fissato
M>o la disequazione
log x <-M
è soddisfatta da 0 < x < e –M.
Perciò, posto
log x <-M.