ESRogs comments on What counts as defection?

[ESRogs]

Since $P-T<0$, this holds for some nonempty subinterval of $[0,1)$. QED.

Nitpick: this should be $P-T\le 0$, no? (Since $T\ge P$.)

[TurnTrout]

Fixed, thanks.