Ben fails to mention that the equation he proposed is "violated" is expressly "optional" and in fact the standard allows that "a TCP MAY start with a larger initial window".
"This increased initial window is optional: a TCP MAY start with a larger initial window."
And specifically this: "MAY start with a larger initial window". "larger" than what?
a.) larger than that proposed?
or
b.) larger than was standard before this proposal?