lim(sum((s-c*x)*((v*x)/s) from c=0 to c=s/(x)) as x->0)