The span provides a lower bound on the running time of a task-parallel computation on processors.
A -processor ideal parallel computer cannot run any faster than a machine
with an unlimited number of processors. Looked at another way, a machine
with an unlimited number of processors can emulate a -processor machine by
using just of its processors. Thus, the span law follows: