Integral cos t * cos nt dt