[math-fun] Propp/Asimov sequence problem