MathDB
Prove this integral inequality involving pi

Source: 2019 Jozsef Wildt International Math Competition

May 20, 2020
integrationinequalitiescalculus

Problem Statement

Prove that 0π2(cosx)1+2n+1dx2n1n!π2(2n+1)!\int \limits_0^{\frac{\pi}{2}}(\cos x)^{1+\sqrt{2n+1}}dx\leq \frac{2^{n-1}n!\sqrt{\pi}}{\sqrt{2(2n+1)!}}for all nNn\in \mathbb{N}^*