<tex>\sigma_\xi ^2t^2+2Cov(\eta,\xi)t+\sigma_\eta ^2 \geqslant 0</tex>
Из этого неравенства мы видимДля того, что левая сторона может равняться чтобы неравенство выполнялось для всех значений <tex>0t</tex> только тогда, когда многочлен имеет двойной корень (т.е. график касается оси <tex>x</tex> в одной точке), что может быть только при нулевом дискриминанте. Таким образом, дискриминантвсегда должен быть не положительным, что означает:
<tex> 4Cov^2(\eta,\xi)-4\sigma_\eta ^2\sigma_\xi ^2 \leqslant 0</tex>
