[math-fun] Some formulas of pi in infinite product: