solve(√2-1)^x+(√2+1)^x<=2 for x real