(ab a b 1)(ab ac bc c的平方)大于等于16abc