Type I — the root smaller than an expression

First canonical type: the root is on the left-hand side and must be smaller than an expression without a radical, $\sqrt{A(x)}\le B(x)$. Since a root is always $\ge 0$, the right-hand side is forced to be non-negative: from this arises the system of three conditions that solves this case.

• The method for the smaller root
• Example — root smaller than a line