By the Hellmann-Feynman theorem, the density n(r) of many electrons in the presence of external potential v(r) obeys the relationships F${d}^{3}$r n(r)\ensuremath{\nabla}v(r)=0 and F${d}^{3}$r n(r)r\ifmmode\times\else\texttimes\fi{}\ensuremath{\nabla}v(r)=0. By the virial theorem, the interacting kinetic and electron-electron repulsion expectation values obey 2T[n]+${V}_{\mathrm{ee}}$[n]=-F${d}^{3}$r n(r)r\ensuremath{\cdot}\ensuremath{\nabla}[\ensuremath{\delta}T/\ensuremath{\delta}n(r)+\ensuremath{\delta}${V}_{\mathrm{ee}}$/\ensuremath{\delta}n(r)]. The exchange energy functional ${E}_{x}$[n] and potential ${v}_{x}$([n];r)\ensuremath{\equiv}\ensuremath{\delta}${E}_{x}$/\ensuremath{\delta}n(r) must satisfy ${E}_{x}$[n]+F${d}^{3}$r n(r)r\ensuremath{\cdot}\ensuremath{\nabla}${v}_{x}$([n];r)=0, while the correlation energy and potential must satisfy ${E}_{c}$[n]+F${d}^{3}$r n(r)r\ensuremath{\cdot}\ensuremath{\nabla}${v}_{c}$([n];r)0. Somewhat counterintuitively, it is not true that T[${n}_{\ensuremath{\gamma}}$]=${\ensuremath{\gamma}}^{2}$T[n] and ${V}_{\mathrm{ee}}$[${n}_{\ensuremath{\gamma}}$]=\ensuremath{\gamma}${V}_{\mathrm{ee}}$[n], where ${n}_{\ensuremath{\gamma}}$(r)\ensuremath{\equiv}${\ensuremath{\gamma}}^{3}$n(\ensuremath{\gamma}r) is a scaled density with scale factor \ensuremath{\gamma}\ensuremath{\ne}1. In fact, it is impossible to partition the exact Hohenberg-Kohn functional into a piece that scales as ${\ensuremath{\gamma}}^{2}$ and a piece that scales as \ensuremath{\gamma}, even if complete freedom with the partitioning is allowed. Instead there are universal scaling inequalities.For instance, T[${n}_{\ensuremath{\gamma}}$]+${V}_{\mathrm{ee}}$[${n}_{\ensuremath{\gamma}}$]${\ensuremath{\gamma}}^{2}$T[n]+ \ensuremath{\gamma}${V}_{\mathrm{ee}}$[n] and T[${n}_{\ensuremath{\gamma}}$]+\ensuremath{\gamma}${V}_{\mathrm{ee}}$[${n}_{\ensuremath{\gamma}}$]g${\ensuremath{\gamma}}^{2}$(T[n ]+${V}_{\mathrm{ee}}$[n]), and consequent inequalities involving ${E}_{c}$[n]. All the above virial and scaling requisites are universal in that they are independent of external potential and they must hold for arbitrary proper n. In addition, for the ground-state energy (E) and n of any atom or molecule at its equilibrium nuclear configuration, there is the inequality E-${T}_{s}$[n], where ${T}_{s}$ is the noninteracting kinetic energy. In the closed-shell tight-binding limit, the correlation potential obeys F${d}^{3}$r n(r)r\ensuremath{\cdot}\ensuremath{\nabla}${v}_{c}$([n];r)=0, and so cannot be a monotonic function of r for an atom in this limit.Further, (\ensuremath{\partial}/\ensuremath{\partial}\ensuremath{\gamma})${E}_{c}$[${n}_{\ensuremath{\gamma}}$]${\ensuremath{\Vert}}_{\ensuremath{\gamma}=1}$=E $_{c}$[n]+${T}_{c}$[n]=-F${d}^{3}$r n(r)r\ensuremath{\cdot}\ensuremath{\nabla}${v}_{c}$([n];r), which implies that the exact ${E}_{c}$ should be fairly insensitive to scaling. With the help of the ionization-potential theorem, it is argued that the exact ${v}_{c}$([n];r) in an atom often has a positive part. Common approximations to the correlation potential are examined for their effects upon the highest occupied Kohn-Sham orbital energy and the density moment 〈${r}^{2}$〉, and these effects are found to be related. Further improvements needed in the approximate correlation potentials are relatively large, but not nearly so large as those recently suggested for the atoms Ne, Ar, Kr, and Xe: The discrepancy between theoretical values of 〈${r}^{2}$〉 from Hartree-Fock or configuration-interaction calculations, and experimental values from measured diamagnetic susceptibilities, is tentatively resolved in favor of theory.