Simplify ∆(E) + ∆(G) ≤ ∆(F)

factorize this bound on d to make it clearer why it is only relevant for r < R/2