Pruebalo $\int_0^\frac{\pi}{4} \frac{1-\cos x}{x} \,dx < \frac{\pi^2}{64}$
Mostré que en$$ \forall x \in [0,\frac{\pi}{4}] \quad \int_0^\frac{\pi}{4} \frac{1-\cos x}{x} \,dx \le \int_0^\frac{\pi}{4} \frac{1-\cos(\frac{\pi}{4})}{\frac{\pi}{4}} \,dx = 1 -\frac{\sqrt2}{2} $ $ pero no es lo suficientemente bueno