Before any modeling assumption, deduplicated reach can only sit between the larger leg and the sum of the two. That interval is the one statement about reach nobody can argue with.
A Reach Post reports that interval first, then places its estimate inside it and says exactly how the estimate was made.