[math-fun] Divergent sum = -1/12