Thursday 26 June 2014

real analysis - How to prove $frac{pi^2}{6}le int_0^{infty} sin(x^{log x}) mathrm dx $?

I want to prove the inequality
$$\frac{\pi^2}{6}\le \int_0^{\infty} \sin(x^{\log x}) \ \mathrm dx $$



There are some obstacles I face: the indefinite integral cannot be expressed in terms of elementary functions,
Taylor series leads to a another function that cannot be expressed in terms of elementary functions. What else to try?

No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...