¿Alguien puede darme una pista sobre cómo integrar lo siguiente:
ps
La respuesta es$$\int_0^\infty{\frac{x^2 {\rm d}x}{\mathrm{cosh}^2(x)}}.$ (tomado del libro).
He empezado con
ps
$\frac{\pi^2}{12}$
ps
Definitivamente,$$\int_0^\infty{\frac{x^2 {\rm d}x}{\mathrm{cosh}^2x}} =$ $
y creo que ese es el camino a la respuesta. Pero no puedo imaginar cómo manejar la parte entre corchetes ...
Estaré agradecido por cualquier ayuda.