That's right. That's a general proof technique: to assemble a structure from a bunch of parts or layers, each of which adds to or multiplies the size of the structure, and possibly the various factors may be known only by upper bounds.

So there is room to improve slightly by brute force or more careful accounting, or a lot by finding an alternate construction.