feat(MeasureTheory/Analysis): the Fourier coefficients of a function can be computed by integrating over a box

feat(MeasureTheory/Analysis): the Fourier coefficients of a function can be computed by integrating over a box #4843