It’s a proud day for any parent when offspring start getting interested in formal proofs. So I felt a little thrill when the elder Free-Ride offspring sat down with Dr. Free-Ride’s better half to consider whether it was possible for there to be a largest prime number:
Not just a proof, people. A proof by reductio!
It makes a mother a little emotional.
Lest I get totally verklempt, let us note the levity my child has inserted into the proof.
In the line of the proof that notes the contradiction (that n, which is prime and also greater than p presents a problem for the claim that p is the greatest prime), after the “But! But!” … that’s not an omega.
Not at all.