[math-fun] Exact formula for this series?