What is the name given to the largest number ever used in a mathematical proof?