MathDB
a/b is unbounded

Source: KMO 2023 P7

November 4, 2023
algebra

Problem Statement

Positive real sequences {an}\{ a_n \} and {bn}\{ b_n \} satisfy the following conditions for all positive integers nn.
[*] an+1bn+1=an2+bn2a_{n+1}b_{n+1}= a_n^2 + b_n^2 [*] an+1+bn+1=anbna_{n+1}+b_{n+1}=a_nb_n [*] anbna_n \geq b_n
Prove that there exists positive integer nn such that anbn>20232023.\frac{a_n}{b_n}>2023^{2023}.