2006-06-27 6/25 の続き 数学・解析 の証明が出来ました。何でこんなことに気付かないのか orz 補題 のとき 証明 とおくと . 故 は で最小値を取り、. □ 今 とするので としてよい。 とおくと であり、 だから補題により . 故に であるから、対数関数の連続性により .