Proof confirmed of 400-year-old fruit-stacking problem | Dark Hacker News