Heart Proofs One proof a day keeps the doctor away

Real Analysis

HUJI Infinitesimal Calculus 1

Derivatives

  1. Fermat’s Theorem

Functions

  1. The intermediate value theorem
  2. Weierstrass Extreme Value Theorem
  3. Weierstrass Boundedness Theorem

Quizzes

  1. Semester 2026A, Quiz 4

Sequences

  1. A Problem on the Convergence of a Recursive Sequence Depending on Its Initial Value
  2. The Bolzano-Weierstrass Theorem
  3. Semester 2026A, Exam A, Q1

The Field of Real Numbers

  1. Archimedean Property

HUJI Infinitesimal Calculus 2

Quizzes

  1. Semester 2026B, Quiz 1