That number is less because there is an estimation of around 20% of all btc being lost forever + in our lifetime, we will not witness the last coin mined. I think the number we will be chasing the next decade might be somewhere at around 14 million, which of course gives it much more value.