cauchys inequality