The even time-series spectral density makes the sine part vanish. At lag zero its integral is the area of the triangle, so . For any nonzero integer , integration by parts gives
Therefore the triangular spectral density of a stationary time series has autocovariance function
No additional factor belongs in this inverse integral under the convention stated above.