Some BTC are already lost forever, especially those in cold wallets with dead owners. Yes, 80k is a lot, it's a proof that crypto has many wealthy people in real life.