How to establish the Integral Inequalities : $$ \displaystyle \int_0^1 \ln \sqrt{\dfrac{1-\cos x}{1+\sin x}} \,dx < \dfrac{1}{2}\ln 2$$
My attepmt :
We have $\displaystyle $$(ii) \displaystyle \int_0^1 \ln \sqrt{\dfrac{1-\cos x}{1+\sin x}} \,dx = \int_0^1 \ln \dfrac{\sin(x/2)}{\sin (\frac{x}{2}+\frac{\pi}{4})} = \int_0^1 \ln \sin(x/2) - \ln \sin (\frac{x}{2}+\frac{\pi}{4}) \,dx$
Now, using $I= \sum\limits_{n=1}^{\infty} \frac{\cos nx}{n} = −\ln(2 \sin x/2)$, and after a bit of calculation I could reduce the above integral into the series: $I=\sum\limits_{n=1}^{\infty} \dfrac{(−1)^{n+1}cos(2n+1)−2sin(2n+1)−1}{(2n+1)^2}$
So, now it suffices to show that $I < \frac{1}{2}\ln 2$. But I'm stuck at this point . \ln 2$$
Any ideas or suggestions ? Any ideas on a different way that can bypass this calculation altogether ?
Thank you :)
In the same spirit as Enzotib's answer, $$f(x)=\ln \sqrt{\dfrac{1-\cos x}{1+\sin x}} $$ is an increasing function in the range of $x$ considered for its integration and $$f(x) \le \frac{1}{2} \log \left(\frac{1-\cos (1)}{1+\sin (1)}\right) \simeq -0.693875$$ Then $$\displaystyle \int_0^1 \ln \sqrt{\dfrac{1-\cos x}{1+\sin x}} \,dx <-0.693875 \lt \dfrac{1}{2}\ln 2 $$