Hacker News new | ask | show | jobs
by BeetleB 39 days ago
Followed by a proof via induction.