Euclid's proof of the infinitude of primes uses mathematical induction. It considers any finite list of prime numbers p1, p2, ..., pn and constructs the number q = P + 1, where P is the product of the primes in the list. Euclid shows that either q is prime, proving there are more primes than in the list, or some prime factor of q cannot be in the list, again showing there are more primes. This proves there is no largest prime number and primes are infinite. Later mathematicians like Euler, Erdos, and Furstenberg provided alternative proofs using unique prime factorizations and divergent series.