Leibniz_formula_for_pi loading ...