C'est un majorant valide, certes, mais pour le "à peu près égal", ça ne va pas du tout.
Sinon, j'ai un minorant à te proposer, qui sera probablement plus utilisable en pratique, mais qui risque de comporter des ennuis aussi (parce que g(f(a),f(b))=0 n'impliquera pas du tout a=b):
|dL(x,reference)-dL(y,reference)|
(la fameuse inégalité triangulaire inversée).