Logarithmic inequality (looking for a better solution) $1+\sqrt{17-\log_{x}{2}} \cdot \log_{2}{x^7} \geq \log_{2}{x^{27}}$
Let $t = \log_{2}{x}$. Then we get (taking account of the fact that $x>0$ and $x \ne 1$
$$1+\sqrt{17-\frac{1}{t}}\cdot 7t \geq 27t$$ or
$$\sqrt{17-\frac{1}{t}} \cdot 7t \geq 27t-1 \tag{1}$$
It's clear that $17-\frac{1}{t} \geq 0$ or else the root is not defined so either $t<0$ or $t\geq \frac{1}{17}$. 
Then I consider two cases: when $t<0$ and we can divide by $t$ and reverse the inequality or when $t\geq \frac{1}{17}$ and we can divide by $t$ safely. This way, I am able to get the correct answer. 
Do you think this is the most rational approach to the problem? 
At first, I mistakenly simplified the inequality by dividing the left part by $\sqrt{t}$ but this is obviously not correct for all values of $t$. 

Most rational approach? Well, that depends on what you mean by rational. In any case all approaches are valid as long as they can be proved correct.
As for the problem, another way is to consider cases when $t\ge 0$ or when $t\le 0.$ For this first case, you can square both sides of your equation $(1)$ to get a quadratic in $t,$ which is easily analysed. For the case when $t<0,$ first multiply both sides by $-1,$ then you may square and proceed as before.
