すみません間違えました
f´(0)≧0を出すらしいです
でもf'(log(p))≧0をもとめないと
f´(x)≧0とは言えなくないですか？