Chebyshev's sum inequality