Wir nehmen an dass die Menge der Nullstellen von f in [a,b] unendlich sei.
Dann gibt es eine Teilmenge {xn : n ∈ ℕ} mit paarweise verschiedenen Zahlen xn. Da das Intervall [a,b] kompakt ist, hat die Folge (xn) eine konvergente Teilfolge (xnk).Sei also xnk → c, wobei c ∈ [a,b].
Da die xn paarweise verschieden sind, kann xnk = c für höchstens ein k ∈ ℕ sein.
Da f differenzierbar in [a,b] ist, ist die Funktion auch stetig in [a,b].
Daher haben wir $$f(c)=\lim_{n\rightarrow \infty}f(x_n)=0$$
Da f differenzierbar ist folgt es auch dass $$f'(c)=\lim_{k\rightarrow \infty}\frac{f(x_{n_k})-f(c)}{x_{n_k}-c}=0$$
Wir haben aber dass $$|f(x)|+|f'(x)|\neq 0, \ \forall x\in [a,b]$$ also $$|f(c)|+|f'(c)|\neq 0\Rightarrow 0\neq 0$$ ein Widerspruch.
Somit muss die Menge der Nullstellen von f in [a,b] endlich.