integrate[E^(-(x - 498/10)^2/(2 × 20^2))/(Sqrt[2 Pi] 20), {x, t, Infinity}] = 142/400