[math-fun] Orchard problem