[math-fun] A sequence puzzle