This result shows that an approximate compatible solution will give a lower bound.

• 这个结果说明相容的逼近解将给出较低的界限。