Broj n je cijeli broj za koji vrijedi 0≤n≤2021.
Zapišimo binomne koeficijente s pomoću faktorijela i primijenimo njihova svojstva. Tada je redom:
(n+1)!(2021−n)!2022!−n!(2021−n)!2021!≤20231⋅(n+2)!(2021−n)!2023!,
(n+1)⋅n!2022⋅2021!−n!2021!≤20231⋅(n+2)(n+1)⋅n!2023⋅2022⋅2021!,
n+12022−1≤(n+2)(n+1)2022,
2022(n+2)−(n+1)(n+2)≤2022,
2022n+4044−n2−3n−2−2022≤0,
−n2+2019n+2020≤0,
−n2+2020n−n+2020≤0,
(2020−n)(n+1)≤0.
Rješenje ove nejednadžbe su svi prirodni brojevi n≥2020, a budući da je 0≤n≤2021, konačno rješenje su brojevi
n∈{2020,2021}.