Định lí Cauchy (Cô si):`

`@`Trung bình nhân của hai số không âm nhỏ hơn hoặc bằng trung bình cộng của chúng.

VD: `(a+b)/2 >= sqrt{ab}`

Hệ quả: `(a+b+c)/3 >= \root{3}{abc}`

`(a+b+c+d)/4 >= \root{4}{abcd}`

Từ đó áp dụng cho `n` số không âm