Massive Galaxies at Redshifts Large than 4