Weierstrass Existence Theorem for Compact Sublevel Programmes