First solution. The required maximum is n/2 and is achieved if and only if ak=2k−2a1, k=2,…,n, and a1 is any positive real number.
To prove this, let Ak=a1+⋯+ak, k=0,…,n−1, where empty sums are zero, and refer to the condition in the statement, Ak≤ak+1, k=0,…,n−1, to write
k=1∑n−1ak+1ak=k=1∑n−1ak+1Ak−Ak−1=k=1∑n−2Ak(ak+11−ak+21)+anAn−1≤k=1∑n−2ak+1(ak+11−ak+21)+1=k=1∑n−2(1−ak+2ak+1)+1=n−1+a2a1−k=1∑n−1ak+1ak≤n−k=1∑n−1ak+1ak.
Consequently, ∑k=1n−1ak/ak+1≤n/2, and equality holds if and only if Ak=ak+1, k=1,…,n−1, which is clearly the case if and only if ak=2k−2a1, k=2,…,n, and a1 is any positive real number.
Second solution. We now show by induction on n≥2 that sn(a1,…,an)=a1/a2+a2/a3+⋯+an−1/an≤n/2 for all positive real numbers a1,…,an such that ak≥a1+⋯+ak−1, k=2,…,n, and equality holds if and only if ak=2k−2a1, k=2,…,n, and a1 is any positive real number.
Clearly, s2(a1,a2)≤1 if 0<a1≤a2, and s3(a1,a2,a3)≤s3(a1,a2,a1+a2)≤3/2 if 0<a1≤a2 and a1+a2≤a3; in both cases, equality holds if and only if the ak are as stated.
Now let n≥4, let a1,…,an be positive real numbers such that ak≥a1+⋯+ak−1, k=2,…,n, and write
sn(a1,…,an)≤sn(a1,…,an−1,a1+⋯+an−1)=sn−2(a1,…,an−2)+an−1an−2+a1+⋯+an−1an−1.
If we show that
an−1an−2+a1+⋯+an−1an−1≤a1+⋯+an−2an−2+21,(∗)
then sn(a1,…,an)≤sn−1(a1,…,an−2,a1+⋯+an−2)+1/2≤(n−1)/2+1/2=n/2, by the induction hypothesis; the cases of equality also follow from the induction hypothesis.
Finally, to establish (*), simply notice that the numerator of the right-hand member and the left-hand member is the product of an−1−a1−⋯−an−2≥0 and an−1(an−2−a1−⋯−an−3)+2an−2(a1+⋯+an−2)≥2an−2(a1+⋯+an−2)>0.