For every , direct algebra gives
Thus . This identity is the key estimate in Newton iteration for a square root.