In reality it's much smaller since many people own multiple coins and the rest will not be on zero forever.