Solution (source code)

= Solution

\b[True.] Pull an open cover of $Y$ back through $f$. Surjectivity makes those inverse images cover $X$. A finite subcover of the <compact> space $X$ maps back to a finite subcover of $Y$. Thus a continuous image of a <compact> space is <compact>.