Reference Solution 1 (By contradiction). Suppose that there exist 2022 positive integers x0<x1<…<x2021 that violate the problem statement. Then in particular x2021+2xi≤3xi+1 for all i=0,…,2020 which gives
x2021−xi≥23(x2021−xi+1).
By a trivial induction we then get
x2021−xi≥(23)2020−i(x2021−x2020),
which for i=0 yields the contradiction since
x2021−x0≥(23)2020(x2021−x2020)=(1681)505(x2021−x2020)>5505.
Therefore, the proof is complete. □
Reference Solution 2. Denote the maximum element of A by c. For k=0,…,2019, let
Ak={x∈A:(1−(2/3)k)c≤x<(1−(2/3)k+1)c}.
Note that
(1−(2/3)2020)c=c−(16/81)505c>c−(1/5)505c≥c−1,
which shows that the sets A0,A1,…,A2019 form a partition of A∖{c}. Since A∖{c} has 2021 elements, by the pigeonhole principle some set Ak does contain at least two elements of A∖{c}. Denote these two elements a and b and assume a<b, so that a<b<c. Then
c+2a≥c+2(1−(2/3)k)c=(3−2(2/3)k)c=3(1−(2/3)k+1)c>3b,
as desired. □