>>471
関数と逆関数が共有点を持つならばy=x上にもつ
単調減少ならy=x以外にも共有点持つけど