a_{k+3} = \frac12a_{k+2}a_{k+1}+\frac13 \geq \frac12a_{k+1}a_k+\frac13 = a_{k+2}