> the not-so-hidden assumption is that for any given domain, the efficiency asymptote peaks well above the alternative

This is an assumption for the best-case scenario, but I think you could also just take the marginal case. Steady progress builds until you get past the state of the art system, and then the switch becomes easy to justify.