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.