Is the universe infinite?