MathDB
normal counting problem in KJMO 2022

Source: KJMO 2022 number 2

January 19, 2023
combinatoricscounting

Problem Statement

For positive integer nn (≥ 33), find the number of ordered pairs (a1,a2,...,an)(a_1, a_2, ... , a_n) of integers that satisfy the following two conditions
1. For positive integer ii such that 11iinn then 11aia_iii 2. For positive integers i,j,ki,j,k such that 11ii < jj < kknn, if ai=aja_i = a_j then aja_jaka_k