Extension: Checking Injectivity of a Function - Expii

Recall that a continuous function is injective if and only if it's strictly monotone. If the function f happens to be differentiable, then we can check monotonicity using derivatives.