ｋ≦ｘ≦ｋ＋１のときｋｌｏｇ（ｋ）≦ｘｌｏｇ（ｘ）。