ParentFull threadchestervonwinch·The gradient is defined as a limit. That it points to the direction of greatest increase is a consequence of the definition, not the definition itself.View on HN