Early Deadline First (EDF) scheduling in real-time systems feasibility test proof
Yhe text you quote says it is only a sufficient condition not a necessary condition. If Δ&gt;1 then that implies that t &lt; tΔ + any positive number. Which is exactly what you've proved.