How the ancient Greeks worked out the earth was spherical