---

Problem 733

---

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

Dãy con tăng dần

$f(n)$ là số dãy con tăng dần dài nhất của hoán vị ngẫu nhiên $n$ phần tử. Tính $E[f(10^6)] \pmod{10^9+7}$.

---