[math-fun] Problem for John's son