Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let $f:[0,\pi]\to [0,\pi]$ be a diffeomorphism. How to prove that
$$P[f]:=\int_0^\pi \sin^2(x) \left(3+2 \frac{\sin^2(f(x))}{\sin^2 x}+(f'(x))^2\right)^2dx $$ attains its minimum for $f(x)\equiv x$?
