MathDB
For which constants does this sequence exist?

Source: Brazilian Mathematical Olympiad 2023, Level U, Problem 6

October 21, 2023
Sequencesalgebrareal analysis

Problem Statement

Determine all pairs (c,d)R2(c, d) \in \mathbb{R}^2 of real constants such that there is a sequence (an)n1(a_n)_{n\geq1} of positive real numbers such that, for all n1n \geq 1, ancan+1+d1j<naj.a_n \geq c \cdot a_{n+1} + d \cdot \sum_{1 \leq j < n} a_j .