Problem 2
Let and be given by and . Prove that for any non-integer real number satisfying .
Step 3 of 6: Shifting by two does not decrease d
Detailed analysis
Write . Reindexing the sums shows telescopes to exactly the displayed difference of two brackets. For in the relevant range the first bracket is positive since , and the second bracket is non-positive since both and are large negative numbers with more negative; hence . So on the family , the value of is smallest when , i.e. it suffices to prove for .