Editing Integer square root (section)

===Stopping criterion===
One can prove{{Citation needed|date=August 2021}} that <math>c=1</math> is the largest possible number for which the stopping criterion 
<math display="block">|x_{k+1} - x_{k}| < c</math>
ensures <math>\lfloor x_{k+1} \rfloor=\lfloor \sqrt n \rfloor</math> in the algorithm above.

In implementations which use number formats that cannot represent all [[rational number]]s exactly (for example, floating point), a stopping constant less than 1 should be used to protect against round-off errors.