Let \[ F(x) = \sum_{n=1}^{1000} \cos (n^{3/2} x). \]
Prove that \( F \) has at least \( 80 \) zeros in the interval \( (0, 2013) \).