A librarian sorts 500 books at a constant rate. After 4 days, the librarian still has 250 books to sort. How much time does it take to sort the books from start to finish?