# CVRC8

Show that $\int_0^\infty \left\{\prod_{k = 1}^n \frac{\sin(\phi_k x)}{x}\right\}\left\{\prod_{j = 1}^m \cos(a_jx)\right\}\frac{\sin(ax)}{x}\ dx = \frac{\pi}{2}\phi_1\phi_2\ldots\phi_n\,$,   if $\phi_1, \phi_2, \ldots, \phi_n, a_1, a_2, \ldots, a_m\,$ are real, $a\,$ is positive and $a > \sum_{k = 1}^n |\phi_k| + \sum_{j = 1}^m |a_j|$.