Mount Everest has almost certainly shrunk a bit over the years due to earthquakes and natural erosion.