関数\( \; f(x)=\ln{x} \;\)の凸性を利用した不等式を示す。 この関数は上に凸であるから、任意に\( \; x_{2} \geq x_{1}>0 \; \)をとってきたとき、この二点を結ぶ直線はこの二点の間で常に\( \; f(x) \; \)よりも下側にあることになる。まずこの事実を立式…