If the lattice X is totally ordered, then the lattice condition is satisfied trivially for any measure μ. In case the measure μ is uniform, the FKG inequality is Chebyshev's sum inequality : if the two increasing functions take on values a 1 ≤ ≤ a 2 ≤ ≤ ⋯ ⋯ ≤ ≤ a n and b 1 ≤ ≤ b 2 ≤ ≤ ⋯ ⋯ ≤ ≤ b n , then