Inequality About $f(t)=\int_{0}^t \sqrt{\cos(x)} dx$ During my projet, I encountered the following function defined for all $\displaystyle t\in[0,\frac{\pi}{2}]$ by :
$$f(t)=\int_{0}^t \sqrt{\cos(x)} dx$$
and I need to prove the inequality below :
$$\forall x,y >0\ \ \ \  x+y\leq\frac{\pi}{2}\Rightarrow \frac{f(x+y)^2}{\sin(x+y)}\leq \frac{f(x)^2}{\sin(x)}+\frac{f(y)^2}{\sin(y)}  $$
I don't really know if the inequality is true or not , what I know is that I want it to be true, so I can go forward in my work.
Questions


*

*Is there a closed form for the function $\displaystyle f$?.

*Can we prove the inequality above.


For the first question for $\displaystyle t=\frac{\pi}{2}$ we have $\displaystyle f(\frac{\pi}{2})=\sqrt{\frac{2}{\pi}}\Gamma(\frac{3}{4})^2$ (see walframalpha) and for the other values of $\displaystyle t$, mathematica made use of elliptic integral and I don't know their properties very well, Using the values for some elements I conjectured that :
$$ f(t)=2 E(\frac{t}{2}|2) $$
$\displaystyle E(x,m)$ is the elliptic integral with the second kind with the parameter $\displaystyle k=m^2$ 
Is this equality true? can this help me solve the second question?
Update : using the definition of the elliptic integral I proved that:
$$ f(t)=2 E(\frac{t}{2}|2) $$ 
hence the first question is solved, but I still can't use the proprieties of the eleptic integrals to prove the inequality, I think that there is no hope that the inequality is true.
Any help/comment will be greatly appreciated,Thank you.
 A: If $g(0) = 0$, $g'(x) \geq 0$ and $g''(x)\leq 0$ then
$$g(x+y) - g(x) = \int_x^{x+y} g'(t)dt = \int_0^{y} g'(t+x)dt \leq \int_0^{y} g'(t)dt  = g(y)$$
giving us 
$$g(x+y) \leq g(x) + g(y)$$
If we define 
$$g(x) = \frac{f^2(x)}{\sin(x)}$$
then $\lim\limits_{x\to 0}g(x)  = \lim\limits_{x\to 0} \frac{x^2\cos(x)}{\sin(x)} = 0$ and to prove the inequality we need to show that $g'(x)\geq 0$ and $g''(x)\leq 0$. 
Take $w =  \frac{f(x)\sqrt{\cos(x)}}{\sin(x)}$ to find
$$g'(x) = 1 -\left(1 - w\right)^2$$
$$g''(x) =  -2\left(1 - w\right)\cot(x)\left(\left(\frac{\tan^2(x)}{2}+1\right)w-1\right)$$
We now need to show $1 \geq w\geq \frac{1}{\frac{\tan^2(x)}{2}+1} = \frac{2\cos^2(t)}{1 + \cos^2(t)}$. The first inequality, $w\leq 1$, follows from
$$\frac{d}{dx}\left(\frac{\sin(x)}{\sqrt{\cos(x)}} - f(x)\right) = \frac{\sin^2(x)}{\cos^{3/2}(x)} \geq 0$$
and the second inequality follows form
$$\frac{d}{dx}\left(f(x) - \frac{2\cos^{3/2}(x)\sin(x)}{(1 + \cos^2(x))}\right) = \frac{4\sqrt{\cos(x)}\sin^2(x)}{(1+\cos^2(x))^2} \geq 0$$
