Il più piccolo fattoriale divisibile per 1000

Qual è il più piccolo intero positivo n tale che il prodotto di tutti gli interi da 1 a n sia divisibile per 1000?