Cauchys inequality