Suppose Mount Everest is the Earth's highest mountain above sea level, located in the Himalayas of Nepal and China. In 1856, the Great Trigonometric Survey of India established the first published height of Everest, then known as Peak XV, at 29,002 ft. The current official height of 29,032 ft was established by an Indian survey in 1955.
Can we infer that "Mount Everest is the tallest mountain in the world."? Yes, no, or maybe?