real analysis mean value theorem lagranges mean value theorem proof examples