The Nyquist sampling rale for the signal $s(t)=\frac{\sin (500 \pi t)}{\pi t} \times \frac{\sin (700 \pi t)}{\pi t}$ is given by