Sequential compactness implies countable compactness (if every countable open cover with no finite subcover yields a sequence with no convergent subsequence). The Lindel"{o}f property reduces arbitrary open covers to countable ones. Combining these two facts, every open cover of a sequentially compact Lindel"{o}f space has a finite subcover.