---

Problem 517

---

Xem đề gốc (tiếng Anh)

Truy hồi thực

$f(x) = x + 1/(2x)$ cho $x > 0$. Xây dựng $a_n$ bắt đầu từ $a_0$. Tính $f(10^{18})$.

---