[math-fun] An easy August sequence riddle