real analysis mean value theorem cauchys mean value theorem proof examples