# How to prove that $\int\limits_0^{\pi} e^{\sin^2(x)}dx > {3\over2}\pi$? [closed]

How to prove that $$\int\limits_0^{\pi} e^{\sin^2(x)}\ dx > {3 \over 2}\pi$$?

## closed as off-topic by Rebellos, Jyrki Lahtonen, Namaste, José Carlos Santos, DRFDec 4 '18 at 22:49

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Rebellos, Jyrki Lahtonen, Namaste, José Carlos Santos, DRF
If this question can be reworded to fit the rules in the help center, please edit the question.

• Could you please edit the question, the math notations are not showing. – John_Wick Nov 29 '18 at 21:53
• I don't understand why anyone would down-vote this question. It's perfect fine and compiles with the requirements of the page. – user150203 Nov 30 '18 at 3:48
• @DavidG Hover your cursor over the voting arrows... "This question (shows / does not show any) research effort". – epimorphic Dec 4 '18 at 17:52
• @DavidG Go to How to ask a good question and report back to us in which ways this question satisfies any of the criteria. This is a problem statement question, essentially expecting answerers to do this users work for them. Hence the downvote, hence the close votes. This site is not a "do my work/proof for me" service. – Namaste Dec 4 '18 at 22:42
• @amWhy - will do. Thanks for the link. – user150203 Dec 4 '18 at 22:44

## 3 Answers

Use the inequality $$e^t\ge 1+t$$, valid for all $$t$$, to get: $$\int_0^\pi e^{\sin^2x}dx\ge\int_0^\pi(1+\sin^2x)dx=\int_0^\pi\left(\frac32 + \frac12\cos 2x\right)\,dx$$ You should be able to take it from here. The inequality is in fact strict, because the difference $$e^{\sin^2x}-(1+\sin^2x)$$ is continuous, non-negative and not identically zero.

• I've taken and it equals to $int_0^\pi(1+\sin^2x)dx = {3\over2}\pi$ But is it really right to use $e^t\ge 1+t$? – TBox Nov 29 '18 at 22:20
• $$e^t > 1+t$$ is true for all nonzero real numbers, hence it is not necessary to use the second term of Taylor expansion. – Crostul Nov 29 '18 at 22:22
• got it, thank you! – TBox Nov 29 '18 at 22:28
• @ArseniyBakaev The inequality $e^t\ge 1+t$ is easily proven: See math.stackexchange.com/q/1330815/215011 – grand_chat Nov 29 '18 at 22:28
• @Crostul Right, and the justification that $\int_0^\pi \sin^4 (x) dx>0$ will equally apply to $\int_0^\pi e^{\sin^2x}dx > \int_0^\pi (1+\sin^2x)dx$. – grand_chat Nov 29 '18 at 22:55

We can also use Taylor expansion: $$e^{\sin^2(x)}=1+\sin^2(x)+\sin^4(x)/2+...$$ and integrate it from $$0$$ to $$\pi$$

$$\int_0^\pi(1+\sin^2(x)+(\sin^4(x))/2)dx=(27\pi)/16 ≈ 5.3014 > 3\pi/2$$

• Why post this, which copies the idea of a previous answer, only more clumsily? – Did Dec 5 '18 at 0:06

The integral is a Bessel function:

$$\sqrt{e} \pi I_0\left(\frac{1}{2}\right)$$

which has numerical value $$5.50843$$, which is indeed less than $$3 \pi/2$$. This, it would seem, answers the question completely in a principled, and correct manner. One might try any number of other techniques, but I cannot see how any could be better than solving the integral exactly.

• Is it possible to compare without Bessel function? – TBox Nov 29 '18 at 21:57
• The only other way to compare would be a numerical integration. – David G. Stork Nov 29 '18 at 21:58
• @DavidG.Stork Bessel function does the trick, but in order to just find a soft result, you can go by the ML inequality as elaborated below. – Rebellos Nov 29 '18 at 22:03
• "The only other way to compare would be a numerical integration" Not true. – Did Dec 5 '18 at 0:05