Bolzano–Weierstrass Theorem
הכלי המרכזי לקיום כשלא ניתן למצוא את הגבול במפורש (למשל בהוכחת קריטריון קושי, או שסדרה חסומה עם גבול חלקי יחיד מתכנסת). מלכודת: המשפט מבטיח רק תת-סדרה מתכנסת אחת — לא שהסדרה כולה מתכנסת.
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.