  We investigate proper biharmonic hypersurfaces with at most three distinct
principal curvatures in space forms. We obtain the full classification of
proper biharmonic hypersurfaces in 4-dimensional space forms.
