Proof Writing & Problem Solving · Easy problem

The set of positive integers $n$ with $2^n > 1000$ is non-empty, so by the well-ordering principle it has a smallest element. What is it?