Jakarta, Indonesia has, by Wikipedia’s reckoning, 9,607,787 people, making it one of the world’s largest cities.