Más formalmente, si "N"("x") es el número de enteros positivos menores o iguales que "x" que son suma de dos cuadrados, en el límite para x creciente,