La prueba que dio mi TA fue que, como $f$ es diferenciable en 0, está de alguna manera asintóticamente relacionado con algún polinomio $x^p$ para $p\geq1$ . Entonces, como la integral de $x^{-p}$ diverge en cualquier intervalo [0,b], por lo que la integral de $f^{-1}$ (ya que $f<x^p\implies f^{-1}>x^{-p}$ ). En realidad no entiendo exactamente lo que significa estar asintóticamente relacionado con algún polinomio, así que intenté guiarme por los primeros principios.
Mi mejor suposición es que, dado que $\lim_{h\rightarrow 0}\frac{f(h)}{h}$ converge entonces $f$ converge más rápido que la identidad $function$ así que $\frac{1}{f}$ diverge más rápido que $\frac{1}{x}$ y puesto que la integral de $\frac{1}{x}$ diverge en el intervalo, entonces la integral de $f$ diverge en ese intervalo.
Sin embargo, no se trata en absoluto de una prueba rigurosa.