Qual é a origem do nome Istambul?

O nome "Istambul" é derivado da frase grega "eis ten polin", que significa "para a cidade". Este nome foi usado pelos gregos e romanos para se referir à cidade de Constantinopla, que foi fundada no século IV dC pelo imperador romano Constantino I. O nome "Istambul" foi usado oficialmente pela primeira vez no século XV pelos turcos otomanos, que conquistou Constantinopla em 1453.