Olimpiodoro di Tebe, la popolazione di Roma e i sussidi dopo il sacco del 410. Quando una congettura va trovata ‘a ritroso’