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