[math-fun] Formulas (5, 6) ... number pi