Re:>>171 拘束条件により実際は1変数関数。
Re:>>172 十分大きいxに対して、0<log(x)/x.