Span law

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:

.