x+\sqrt{2}>0