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

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

Sorted by 963400e5, however that inequality not general, so will need research to see what variant holds for other varieties.

closed