Infinite square well states, orthogonality and completeness (Fourier series)