I wonder if you missed the three follow-up posts? It's really in those that his analysis takes shape. What you call the "upper net benefit bound" plays no part in it.