バチカン市国の人口くらい。