✍️

Induction proofs with factorials