A double series for $\pi$ using Fourier series and the Grothendieck-Krivine constant