Formula which gives the theoretical speedup in the execution of a task having fixed workload that can be expected of a system whose resources are improved by scaling