関数f(x)を単調減少関数とします。
納k=m,n]f(k)≦∫[x=m-1,n]f(x)dx
というのを示したいのですが、どうしたらよいのでしょうか？