olymmath

ISL 1994 A1

Let a0=1994a_{0} = 1994 and an+1=an2an+1a_{n + 1} = \frac {a_{n}^{2}}{a_{n} + 1} for each nonnegative integer nn . Prove that 1994−n1994 - n is the greatest integer less than or equal to ana_{n} , 0≤n≤9980 \leq n \leq 998

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator isl/1994/a1 · Tag 17TTF53598 · Edit this page on GitHub · Keys: j next, k previous