OP is forgetting that the 10 million mined that he's talking about was sold and redistributed among other people. People who mined 1000 bitcoins each very rarely are still holding. Their coins could already have thousands of users if not more. Also, we don't know the number of lost coins, we can only estimate based on the coins that aren't moving. My coins didn't move for 3 years, are they lost?
Too bad i deleted my list with 2 mil bitcoins that was mined from 2008 to 2010, that was not moved from wallets, why you are so sure they sold ? Maybe they just split wallets. Hard to believe they can sell for fiat so many bitcoins.