あ、ちょっとだけ間違えた
f(x)はx≧0で凸関数
x≧1で増加関数
大筋は変わらないから許してくれ