The algorithm of the approximate calculation of a3. The sequence {an} is defined by the following conditions: a0=a>0, an+1=1/3(2an+a/an2) (n≥0).
Prove that limn→∞an=a3.