Sea $N \geq 3$ un entero, y sean $a_0, \dots, a_{N-1}$ reales distintos por pares tales que $a_i \geq a_{2i}$ para todo $i$ (los índices se toman $\bmod~ N$). Encuentra todos los $N$ posibles para los cuales esto es posible.