This isn't the US. Public sector productivity output (in the UK) is measured, it isn't a speculation based upon the population.