You should note that this is only true of this particular lead compensator, not of lead compensation in general. In general, for a lead compensator C(s) = (s+a)/(s+b), the maximum phase lead is at w = sqrt(a*b). You can see this by substituting s = j*w, calculating the phase of the resulting transfer function, and finding the maximum.