Cho dãy số nguyên dương $ \{ a_n \}_{n\ge 1}^{ + \infty}$ thỏa mãn : $ a_1 = 1 ; a_2 = 2 $ và : $ a_{mn} = a_m \cdot a_n \;; a_{m+n} \le C \left( a_m + a_n \right) \; \forall m ;n \in \mathbb{N^{*}} $
Trong đó $ C \ge 1 $ là hằng số cho trước .
Chứng minh rằng : $ a_n = n \ \ \forall n \in \mathbb{N^{*}} $