Claim: London had around 8,673,713 denizens in mid-2015.
Evidence: Its estimated mid-2015 municipal population -LRB- corresponding to Greater London -RRB- was 8,673,713 , the largest of any city in the European Union , and accounting for 12.5 % of the UK population.