Hacker News new | ask | show | jobs
by wolfgke 3905 days ago
Indeed (spoiler!) an easy, but nice induction proof, which easily can be turned into an algorithm.