Question 73
Find all real numbers $a$ with the following property: for every infinite sequence $a_1, a_2, a_3, \dots$ of mutually distinct positive integers such that the inequality $a_n \le a n$ is satisfied for every positive integer $n$, there are infinitely many terms of the sequence whose sum of digits in the numeral system with base $4038$ is not a multiple of $2019$.