Redirecting to
Chebyshev's sum inequality