Global well-posedness of Korteweg–de Vries equation in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mi>H</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">/</mml:mo><mml:mn>4</mml:mn></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="double-struck">R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math>