[math-fun] Two quartically convergent sums and a(n old?) riddle