Llamemos a una secuencia de enteros positivos $(a_n)_{n \ge 1}$ una 'secuencia CGMO' si $(a_n)_{n \ge 1}$ aumenta estrictamente, y para todos los enteros $n \ge 2022$ , $a_n$ es el entero más pequeño tal que existe un subconjunto no vacío de $\{a_{1}, a_{2}, \cdots, a_{n-1} \}$ $A_n$ donde $a_n \cdot \prod\limits_{a \in A_n} a$ es un cuadrado perfecto. Demuestra: existen $c_1, c_2 \in \mathbb{R}^{+}$ s.t. para cualquier 'secuencia CGMO' $(a_n)_{n \ge 1}$ , existe un entero positivo $N$ que satisface cualquier $n \ge N$ , $c_1 \cdot n^2 \le a_n \le c_2 \cdot n^2$ .