山頂からの直線距離か楕円体上の測地線距離かで解釈がずれているように思う
直線で考えれば自明、曲線でも積分される関数に対して同様の不等式が当てはまるのでそこに気づいてしまえばほぼ自明かな