A number-theoretic estimate for the thomas-fermi density