((x-1/x+2) - 1) ≥ (1 - (x+1/x-1))