We prove that in Thomas-Fermi-Dirac-von Weizsacker theory, a nucleus of charge Z>0 can bind at most Z+C electrons, where C is a universal constant. This result is obtained through a comparison with Thomas-Fermi theory ...