Qui, notando che (rad(2)-1)*(rad(2)+1) = 1,
puoi porre (rad(2)+1)^x = t
e riscrivere con t > 0
1/t + t - 2 <= 0
che equivale a
t^2 - 2t + 1 <= 0
essendo t positivo
ovvero
(t-1)^2 <= 0
(t-1)^2 = 0
t = 1
(rad(2)+1)^x = 1
(rad(2)+1)^x = (rad(2)+1)^0
x = 0