On Pacard's regularity for the equation $-Delta u = u^p$

It is shown that the singular set for a positive solution of the PDE $-Delta u = u^p$ has Hausdorff dimension less than or equal to $n - 2p'$, as conjectured by Pacard [12 in 1993.