[math-fun] A060900 formula