RT，第一篇题解有： $max(f[z],f[y]+size[z]+2<max(f[y],f[z]+size[y]+2)$ 由于 $f[z]<f[z]+size[y]+2f[y]<f[y]+size[z]+2$ 才能继续化简

那么这个条件显然是因为$f$和$size$都是正数才得以成立，那么如果二者不是正数是否成立?

如果不那应该怎么搞？