Problem

Source: Belarusian national olympiad 2021

Tags: limits, Sequence, algebra



An arbitrary positive number $a$ is given. A sequence ${a_n}$ is defined by equalities $a_1=\frac{a}{a+1}$ and $a_{n+1}=\frac{aa_n}{a^2+a_n-aa_n}$ for all $n \geq 1$ Find the minimal constant $C$ such that inequality $$a_1+a_1a_2+\ldots+a_1\ldots a_m<C$$holds for all positive integers $m$ regardless of $a$