Is this a tighter version of the bound given by Amdahl's law?