Polynomial function/Function behavior from differentiability/Fact