Is the universe finite or infinite?