Problem:
$$\text{Solve} \quad 2\tan{2x}\leq3\tan{x}.$$
A problem of this character will yield 5 points on an exam. However, having the correct answer does not suffice to get all the 5 points. Full stringency and mathematical accuracy, on top of a correct final answer, warrants full house. I've decided to present a (partial) solution here and I want you to help me really to comb through it and search for possible logical loopholes.
Solution attempt:
Application of the double angle formula for $\tan{x}$ on LHS yields:
$$\text{LHS}=2\cdot\frac{\sin{2x}}{\cos{2x}}=2\cdot\frac{2\sin{x}\cos{x}}{\cos^2{x}-\sin^2{x}}=[\text{Divide by} \ \cos^2{x}\neq0]=\frac{4\tan{x}}{1-\tan^2{x}}.$$
Setting $t=\tan{x}$ and moving the RHS over and subtracting gives the equivalent inequality:
$$\frac{4t}{1-t^2}-3t=\frac{4t-3t(1-t^2)}{1-t^2}=\frac{t(1+3t^2)}{(1+t)(1-t)}=p(t)\leq0.$$
Since the factor $(1+3t^2)>0, \ \forall x\in \mathbb{R}, $ it suffices to examine the signs of the factors $t, \ (1+t), \ (1-t)$ and the entire expression that I denoted $p(t).$ The following table emerges:
\begin{array} {|l|cr} t= & -\infty & -1 & \ & 0 & \ & 1 & +\infty\\ \hline 1+t & - & 0 & + & & + & & +\\ \hline t & - & & - & 0 & + & & +\\ \hline 1-t & + & & + & & + & 0 & -\\ \hline p(t)& + & \varnothing & - & 0 & + & \varnothing & -\\ \end{array}
This indicates that the solutionset of $p(t)\leq0$ is given by $t\in(-1,0]\cup(1,\infty).$ Hereafter I'm stuck, I don't know how to revert to $x$. How do I do this in an effective way?
