רציפות, ערך הביניים ומשפטי ויירשטראס