¿Cuál es el origen del nombre Estambul?

El nombre "Estambul" se deriva de la frase griega "eis ten polin", que significa "a la ciudad". Este nombre fue utilizado por los griegos y romanos para referirse a la ciudad de Constantinopla, que fue fundada en el siglo IV d.C. por el emperador romano Constantino I. El nombre "Estambul" fue utilizado oficialmente por primera vez en el siglo XV por los turcos otomanos. que conquistó Constantinopla en 1453.