[math-fun] square root approximating sequence ?