We give some examples of mathematical analysis and check the proof by a program we write in Maple and illustrate its method. The program module we write can automatically apply Cauchy's mean value theorem, triangle inequality, Holder's inequality, Schwartz inequality and Newton-Leibniz formula. Besides, this module can correct some wrong inequalities.