MathDB
Ah yes, very interesting

Source: EGMO 2024 P4

April 14, 2024
Sequencealgebracombinatorics

Problem Statement

For a sequence a1<a2<<ana_1<a_2<\cdots<a_n of integers, a pair (ai,aj)(a_i,a_j) with 1i<jn1\leq i<j\leq n is called interesting if there exists a pair (ak,al)(a_k,a_l) of integers with 1k<ln1\leq k<l\leq n such that alakajai=2.\frac{a_l-a_k}{a_j-a_i}=2. For each n3n\geq 3, find the largest possible number of interesting pairs in a sequence of length nn.