Re: [math-fun] Geometric probability a la Archimedes