t1 > t2 + t3, t2 > t1 + t3, t3 > t1 + t2, t1 > 0, t2 > 0, t3 > 0