Let si=ti2/4. Since ti3≤2ti2=8si, so for 0≤s1,…,sn≤1, it suffices to prove
s2+1s1+s3+1s2+⋯+s1+1sn≤2n.
Now for any 0≤x,y≤1, we consider:
(1+y)(1−y+x)=2x+(1−y)(1+y−x)≥2x
which implies:
y+1x≤21−y+x.
Applying this to the set {si} cyclically:
i∑si+1+1si≤2n+21i∑(si−si+1)=2n
so the inequality is proved. Equality holds for each i when si+1=1 or (si,si+1)=(1,0), i.e., when the sequence {t1,t2,…,tn,t1} consists only of 0 and 2, and contains no consecutive 0's.
*Remark.* Refer to the solution of problem E5.