משפט בולצאנו-ויירשטראס
המשפט של בולצאנו, ויירשטראס אומר: אם יש קבוצה חסומה עם אינסוף נקודות, יש נקודה קרובה להרבה מהנקודות. חסומה אומרת שהנקודות לא יכולות להתרחק מאוד. נקודת הצטברות היא נקודה שסביבתה תמיד כוללת נקודות מהקבוצה. אפשר להבין את זה כך: קח קטע שמכיל את כל הנקודות. חלק אותו לשניים. בחלק אחד חייבות להיות אינסוף ...