4 Encuentra todos los enteros \(n \ge 2\) para los cuales existen \(n\) enteros \(a_1,a_2,\dots,a_n \ge 2\) tales que para todos los índices \(i \ne j\), se tiene \(a_i \mid a_j^2+1\).