a>b恒成立是a(min)>b(max),那存在怎么表示?