Furstenberg's proof of the infinitude of primes