Existence Theorems in Semi-Infinite Programs