4 Determine el número natural más pequeño $n \geq 2$ con la propiedad: Para cualesquiera enteros positivos $a_1, a_2, \dots, a_n$, el producto de todas las diferencias $a_j - a_i$, $1 \leq i < j \leq n$, es divisible por 2001.