Este problema fue tomado de aquí:
Mostrar que %#% $ #%
mi idea: $$\int{0}^{\infty}xe^{-x}\left(\int{0}^{\pi/2}(1-e^{x-x\csc{t}})\sec^2{!t}\,\mathrm dt\right)^2\,\mathrm dx=\dfrac{1}{3}$ $
donde $$\int{0}^{\infty}xe^{-x}\left(\int{0}^{\pi/2}(1-e^{x-x\csc{t}})\sec^2{!t}\,\mathrm dt\right)^2\,\mathrm dx=\dfrac{1}{3}=\int{0}^{\infty}x^3e^xK^2{0}(x)\,\mathrm dx?$ es la función de Bessel.