[math-fun] Nonobvious integer sequence