---

Problem 461

---

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

Gần pi

$f(n) = \min_{1 \le a,b,c,d \le n} |a/b + c/d - \pi|$. Tính $\sum_{n=1}^{1000} f(n) \times 10^{10}$.

---