πŸ“½οΈ

Seven nasty induction proofs (aiming for a 7)