Jameson Lopp, a former Engineer for BitGo and the current Engineer for CasaHODL, claims that over BTC 4 million have been lost and over BTC 2 million have been stolen. This suggests that there are much fewer Bitcoins in circulation than the total supply of BTC 17.13 million that have been mined since the genesis block.