A mysterious law that predicts the size of the world's biggest cities