f:[0, +infinito[ --> R definita da f(x) = integrale da 1/x a x di (log t)^99 dt
Se chiamiamo g la funzione integranda, la derivata di f è
g(x)-g(1/x)⋅(1/x)'=g(x)+g(1/x)/x²=g(x)-g(x)/x²=g(x)⋅(1-1/x²)>0, ∀ x>0 ∧ x≠1
Teorema di Torricelli - Barrow