Re: [math-fun] Another approximation of pi