In the mathematical theory of probability, the Hsu–Robbins–Erdős theorem states that if
then
for every
The result was proved by Pao-Lu Hsu and Herbert Robbins in 1947.
This is an interesting strengthening of the classical strong law of large numbers in the direction of the Borel–Cantelli lemma. The idea of such a result is probably due to Robbins, but the method of proof is vintage Hsu. Hsu and Robbins further conjectured in that the condition of finiteness of the variance of
Since then, many authors extended this result in several directions.