Re: [math-fun] pi-3, 1/pi