An upper bound on the ionic ground state density at the nucleus

We give an upper bound on the electronic ground state density of big ions at the nucleus. The bound is—up to a multiplicative constant—expected to be sharp in leading order.