设算法A为一极小化目标优化问题的近似算法，现用比较算法A给出的实例的可行解目标值和的方法证明算法A的最坏情况比，其中是实例的最优值的下界，满足对任意实例成立