Let n be a positive integer and let a1,…,an be n positive integers. Show that k=1∑n1+a1+⋯+akak<k=1∑n2k1.
Solution
Set b0=1 and bk=1+a1+⋯+ak, k=1,…,n, to obtain a strictly increasing string of positive integers 1=b0<b1<⋯<bn, and write the sum in the left-hand member in the form ∑k=1n(bk−bk−1)1/2/bk.
Next, let m=min{k:bk>n2}≥1; if there is no bk>n2, let m=n+1, to split the above sum into k=1∑m−1bkbk−bk−1+k=m∑nbkbk−bk−1,(∗) where empty sums are zero. We show that the first sum does not exceed ∑k=2n21/k, and the second is always less than 1.
If k=1,…,m−1, write (bk−bk−1)1/2/bk≤(bk−bk−1)/bk=1/bk+⋯+1/bk≤∑j=bk−1+1bk1/j, to deduce that the first sum in (∗) does not exceed ∑k=1m−1∑j=bk−1+1bk1/j=∑k=2bm−11/k≤∑k=2n21/k.
Finally, if k=m,…,n, write (bk−bk−1)1/2/bk<bk−1/2<1/n, to deduce that the second sum in (∗), when non-empty, is less than (n−m+1)/n≤1. The conclusion follows.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.