Rの区間上の連続関数が逆写像をもつなら逆写像も連続ってのはεδ論法でどうやって示したっけ？

まあ閉区間ならコンパクト・ハウスドルフ性から明らかだけども