Seconda tipologia canonica: la radice deve essere maggiore di un’espressione senza radicale, A(x)B(x)\sqrt{A(x)}\ge B(x). Qui il secondo membro può avere segno qualunque, e la soluzione nasce dall’unione di due casi: quello in cui B(x)B(x) è negativo (disequazione automaticamente vera) e quello in cui è non negativo (si eleva al quadrato).