MathDB
Today's calculation of Integral 747

Source: 2011 Kanazawa University entrance exam

August 29, 2011
calculusintegrationtrigonometryinequalitiescalculus computations

Problem Statement

Prove that 04(1cosx2)exdx2e2+30.\int_0^4 \left(1-\cos \frac{x}{2}\right)e^{\sqrt{x}}dx\leq -2e^2+30.