Estudia si existe una sucesión estrictamente creciente de enteros $0=a_0\lt a_1\lt a_2\lt \ldots$ que cumpla simultáneamente las dos condiciones siguientes:
Todo número natural puede escribirse como suma de dos términos, no necesariamente distintos, de la sucesión.
Para cada entero positivo $n$, se cumple que $a_n\gt\frac{n^2}{16}$.