满足不等式t-4i