Cho f là một hàm điều chỉnh trên khoảng ]a,+∞*; giả sử tồn tại một hàm thực giảm g trên ]a,+∞* sao cho ∥f(x)∥⩽g(x) trên khoảng này và rằng tích phân ∫a+∞g(t)dt hội tụ. Chứng minh rằng chuỗi ∑n=1∞f(a+nh) hội tụ tuyệt đối với mọi h>0, và rằng
h→+∞limhn=1∑∞f(a+nh)=∫a+∞f(t)dt.