EDIT: There is tac.
I had to reverse the order of lines in very long files once, and not being able to think of an efficient way to do that with bash, I asked Paolo if there was a reversing tool that I did not know about. He told me that he did not know of any, but that he knew a very bash way to do the task. Intrigued, I started thinking.
In the end, I was able to think up of three (3) approaches to the problem. This solution:
cat -n $FILE | sort -rn | cut -f2
however, feels very childlike, so it is my favorite. I do not know how exactly sort does its sorting, though, so I do not know how efficient this solution really is.