5.1 实例1：基本不等式