[math-fun] Problem for John' s grandson