Re: [math-fun] Estimating the aspect ratio of a rectangle