  In this paper, through making careful analysis of Gauss and Codazzi
equations, we prove that four dimensional biharmonic hypersurfaces in nonzero
space form have constant mean curvature. Our result gives the positive answer
to the conjecture proposed by Balmus-Montaldo-Oniciuc in 2008 for four
dimensional hypersurfaces.
