Approximation of pi