---

Problem 479

---

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

Nghiệm tăng dần

$f(n)$ là nghiệm dương nhỏ nhất của $x^2 - x - n = 0$. Đặt $S = \sum_{n=1}^{10^6} \lfloor f(n)^{13} \rfloor$. Tính $S \pmod{10^9+7}$.

---