What is the set of solutions to $2\log_{\cos x}\sin x\le \log_{\sin x}\cot x$ where $0
$$2\log_{\cos x}\sin x\le \log_{\sin x}\cot x$$ where $0<x<\pi$
My process:
Since both $\sin x$ and $\cos x$ must be greater than $0$ and less than $1$, the initial set shrinks to $(0,\pi/2)$
Then after transformations I get
$2\log_{\cos x}\sin x+1-\log_{\sin x}\cos x\le 0$
.
.
.
$2t^2+t-1\le 0$
. . .
$\log_{\cos x}\sin x\in [-1,1/2] $       
Can't be $[-1,0)$
But I'm not sure what the interval is further
I'd venture a guess as to say that $x\in (0,\frac{\sqrt5-1}{2}]$ but that doesn't fit with the solution on the exam, which doesn't explicitly give the solution but says it is in the form of $(a,b)$
Any help appreciated.

We need $\displaystyle 0<x<\frac{\pi}{2}$. Note that $\ln\cos x<0$ and $\ln \sin x<0$.
\begin{align}
\frac{2\ln \sin x}{\ln \cos x}&\le\frac{\ln \cos x-\ln\sin x}{\ln\sin x}\\
2(\ln\sin x)^2&\le(\ln\cos x)^2-\ln\sin x\ln \cos x\\
(\ln\cos x)^2-\ln\sin x\ln \cos x-2(\ln\sin x)^2&\ge0\\
(\ln \cos x+\ln \sin x)(\ln\cos x-2\ln \sin x)&\ge0\\
\ln\cos x-2\ln\sin x&\le0\\
\ln\cos x&\le\ln\sin^2x\\
\cos x&\le1-\cos^2x\\
\left(\cos x+\frac{1}{2}\right)^2&\le\frac{5}{4}\\
0<\cos x&\le\frac{-1+\sqrt{5}}{2}\\
\cos^{-1}\left(\frac{-1+\sqrt{5}}{2}\right)\le x&<\frac{\pi}{2}
\end{align}
