単調な関数f(x)は定義域で微分可能で、その導関数は連続であるとする。
f(x)の逆関数In_f(x)がもとの関数f(x)と一致するとき、f(x)をすべて求めよ。

答えはすぐに分かるだろうが論証がちょっとめんどいかも。