trevor tran首次做0:还是不等式