Feebly compact implies pseudocompact

Statement
Any feebly compact space is a pseudocompact space.

Facts used

 * 1) uses::Feeble compactness is continuous image-closed
 * 2) uses::Compact iff feebly compact for subsets of Euclidean space