CDF[ErlangDistribution[250, 250], 1.25]