2 problems

Four positive binary squares conjecture. Every natural number $N>1772$ is the sum of exactly four positive binary squares. The $112$ exceptions are

Density conjecture. The lower asymptotic density satisfies