People didn’t exactly miss Mt. Everest till a European walked through china.
People have been living around the world for a long time, well before written history, and they kinda wold have taken note of the massive fuckin rock in front of them.
Now if you are asking about catagorized mountains, Kangchenjunga was the highest known mountain before Everest.