[math-fun] Closed form for series?