 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

For $n\geq1$, the preceding parts give a positive denominator and a nonpositive numerator in
$$
a_{n+1}-a_n=\frac{c-a_n^2}{2a_n}.
$$
Hence $\boxed{a_{n+1}\leq a_n\text{ for every }n\geq1}$. The restriction $n\geq1$ matters: if $c>1$, then $a_1=(1+c)/2>a_0$.

 Back to article page