(sqrt(2) - 1)^x + (3-2sqrt2)^x greater than or equal to 2