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?