27 Nov
2009
27 Nov
'09
6:32 a.m.
Numerically, I found that \int_{0}^{\pi/2} \cos(2x)(\cos(\cos(3x)))^2 dx = 0, but I couldn't prove it. So I post it here and hope some mathfunsters could shed some light on it. Thanks, Warut