Use the first Fourier coefficient for an upper bound

The current inequality leaves a gap at density 1/3.

No sample report is included for this idea.