> there are always gains from scale

This... isn't true though? Complexity increases combinatorially with scale which means at some point you're just pushing a rope

Diminishing returns are still returns.