The First Derivative Test says that the function f is continuous on [a,b] and differentiable on (a,b), except possibly at c in (a,b).
a) We can prove that if f ' (x) > 0 for x in (a,c), and f ' (x) < 0 for x in (c,b), then f has a relative maximum at x = c.
Can we prove or disprove the converse of statement a?
Formal and informally.