That gives you solve that for x.
IF this sequence converges, then and each of those limits is of the same sequence and so is equal to x. This is, by the way, a well known iterative method for finding square roots. In fact, it is often known as the "Babylonian method"!
Methods of computing square roots - Wikipedia, the free encyclopedia