Second canonical type: the root must be larger than an expression without a radical, A(x)B(x)\sqrt{A(x)}\ge B(x). Here the right-hand side may have any sign, and the solution arises from the union of two cases: the one in which B(x)B(x) is negative (inequality automatically true) and the one in which it is non-negative (we square).