There is a lot of notation, but the answer is almost obvious: you are asked to prove that for every . However,

and is 0 as soon as by definition. However, is defined in such a way that it is smaller than the space between two values of the sequence (which is increasing), so that for any , and finally for any . We conclude that the only non-zero term in the previous sum is . Remember and you are done.