Fake records have fewer first digits 1, 2, and 3.

Fake records have fewer first digits 1, 2, and 3. What is the approximate probability, if Benford's Law holds, that among 1000 randomly chosen invoices there are 500 or fewer amounts with first digit 1, 2, or 3 (using the continuity correction)?