Chainalysis's high-end estimate was around 3.8M lost, assuming that Satoshi's 1M are also gone. As they haven't revealed their methodology, their estimate is an argument from authority.