Maths Olympiad Prep

Track / Stage 8 / 3 of 180 #2183 of 2444

Problem 2183

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.0 Prove it KöMaL problem A · Hungary · 2025

We say that a strictly increasing sequence of positive integers n1n_1, n2n_2, \ldots is non-decelerating if nk+1nknk+2nk+1n_{k+1}-n_k\le n_{k+2}-n_{k+1} holds for all positive integers kk. We say that a strictly increasing sequence n1n_1, n2n_2, \ldots is convergence-inducing, if the following statement is true for all real sequences a1a_1, a2a_2, \ldots: if subsequence am+n1a_{m+n_1}, am+n2a_{m+n_2}, \ldots is convergent and tends to 0 for all positive integers mm, then sequence a1a_1, a2a_2, \ldots is also convergent and tends to 0. Prove that a non-decelerating sequence n1n_1, n2n_2, \ldots is convergence-inducing if and only if sequence n2n1n_2-n_1, n3n2n_3-n_2, \ldots is bounded from above.

This one wants a proof. Work it on paper, then check yourself against the publisher's own solution, linked below. Be honest about it: the record is only any use to you if it is.

Next problem →

We don't reproduce this publisher's solutions. Their own solution is here — work the problem first.

Source: KöMaL, licensed Rights held by KöMaL and the MATFUND Foundation. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project. Solutions are the publisher's, linked not copied.