(1/(5*2^1390))^2 + (0.2)^1389 >= 2^(-1386) (1/(5*2^1390))(0.2)