File talk:Archimedean property for Achilles and Tortoise example.svg