Existence of the quadratic-variation limit (source code)

= Existence of the quadratic-variation limit
{scope}