Fenchel's inequality