>>95
お聞きしたいのは>>85 に書いた通りです。
> 連続な全単射がある
これは>>85 でわかったと書いています。

開区間において最小値が存在する(しかも接するときである)理由を連続な全単射があるためと
しているので何かの定理を使ってるんでしょうけど，知らないし考えてもわからないです。
存在の保証だけでなく最小になるときまでわかるそうなので，結構高度だと思います。
知っている方がいらしたら別の方でもいいです。

ではまた夜に来ます。