Compare arithmetic and geometric means — AM ≥ GM always holds.
AM ≥ GM is the famous inequality of means.