Borel's law of large numbers, named after Émile Borel, states that if an experiment is repeated a large number of times, independently under identical conditions, then the proportion of times that any specified event occurs approximately equals the probability of the event's occurrence on any particular trial; the larger the number of repetitions, the better the approximation tends to be. More precisely, if "E" denotes the event in question, "p" its probability of occurrence, and "Nn"("E") the number of times "E" occurs in the first "n" trials, then with probability one,