% https://latexeditor.lagrida.com/
a_0 = a \\
g_0 = b \\
a_{n+1} = \frac{a_n + g_n}{2} \\
g_{n+1} = \sqrt{a_n g_n}