[math-fun] A sequence from Gardner's 6th book