I generally go with 2000, just because that was the maximum on my last mouse (Logitech G5 Gamer), which worked fine.
The current mouse will go higher (Logitech G600), but 2000 is what I'm used to.