Proving mathematical statements using differentiation
Requires formal mathematical language for Excellence