ISL 2022 A8
For a positive integer , an -sequence is a sequence of non-negative integers satisfying the following condition: if and are non-negative integers with , then and . Let be the number of -sequences. Prove that there exist positive real numbers and such that for all positive integers .
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2022 Shortlist booklet, page 5.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).