Weierstrass Theorem for Proper Lower Semicontinuous Coercive Functions