Talk:Hsu–Robbins–Erdős theorem