Es ist absolut notwendig, dass f'(2) = 0 gilt, damit ein Tiefpunkt vorliegen kann.
Man kann dies mit der zweiten Ableitung überprüfen. Ist diese ungleich 0, dann liegt ein Extrempunkt vor (für f'(2) > 0 hätten wir den Tiefpunkt gehabt). Da diese aber 0 ist, muss man noch weiter überprüfen. Wäre nun auch f''(2) = 0, wie auch f'''(2) = 0, aber f''''(2) > 0, dann hätten wir doch noch einen Tiefpunkt gehabt. Das wäre bspw für
g(x) = (x-2)^4 der Fall.