1. Weierstrass boundedness theorem