>>144ではxが連続に動くことへの配慮もしないといけないか。
まず、f(x)をf(y+1)-f(y)の和で表す場合、出発点を、区間[a+1,a+2)
の中でxとの差が整数である点に取ることにする。
>>144の後半では、fが[a+1,M]で連続であることを利用して、
y<Mにある余分な項をsup_{x∈[a+1,M]}f(x)を用いて評価してしまえば
小数部分のずれにも対応できるな。