Alec rated the movie Frozen 1 out of 5 stars. At least how many ratings of 5 out of 5 stars does Eric need to collect to make the average rating for Frozen greater than or equal to 4 out of 5 stars?