x≧1/2で単調増加なものを定めるだいうことか
x=1が不動点だからそこで分けてってこと?