A general path lemma and the damped certificate

Both ReLU and tanh are $1$-Lipschitz and vanish at zero. The next result is the direct damped extension of the undamped path bound recorded in Psy01-A CheungPsy01A; the independent derivation requires only Lemma lem:path.