[math-fun] A003114