Problem

Source: KJMO 2017 p1

Tags: number theory, KJMO



Find all positive integer $n$ and nonnegative integer $a_1,a_2,\dots,a_n$ satisfying: $i$ divides exactly $a_i$ numbers among $a_1,a_2,\dots,a_n$, for each $i=1,2,\dots,n$. ($0$ is divisible by all integers.)