[math-fun] Geometric probability a la Archimedes