(0.1)^2 + (0.5)^1389 >= (0.1)(0.5)