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