let a = 1 let g = 1 / sqrt(2) do let t = (a + g) / 2 let g = sqrt(a * g) let x = a let a = t let t = x loopuntil a = t print a