Challenge · Superchallenge problem

What is the smallest positive integer $n$ such that $n!$ is divisible by $10^{12}$?