Пусть последовательность неотрицательных целых чисел $a_1,a_2,\ldots,a_{1997}$ удовлетворяет неравенствам
$a_i+a_j \le a_{i+j} \le a_i+a_j+1$
для всех $i, j \ge 1,$ где $i+j \le 1997.$ Покажите, что существует действительное число $x$ такое, что $a_n=\lfloor{nx}\rfloor$ (наибольшее целое число $\le nx$) для всех $1 \le n \le 1997$.