If it's really that high a clock, I wouldn't be surprised to see 5X, but we have to be careful not to think about it backwards.
Remember, Nintendo is developing games in concert with the hardware. Their hardware team has been pretty clear about how that process goes. Game Devs ask for more power and more features, which drives up costs, makes the hardware bigger, and more fragile. Hardware Devs aggressively cut things that developers aren't using.
This results in the lowest cost hardware that can support games that Nintendo thinks can compete in the market. If, during development, EPD really really wanted that extra compute power, then they could push clocks. And if it turned out they were really really hampered by memory bandwidth, depending on the timing, they could rework the memory controller.
Nvidia isn't going to push LPDDR5X (which is more expensive, at least initially) onto their customer to support 4 TFLOPS. Game devs are going to ask Nvidia for more throughput, if they need it.
That's why I think we get that 2x difference between handheld and docked. Not because some designer on day one sets that as the target, but because that is naturally the sweet spot that they're going to find in development for getting games to work on both.
That's also why I find 4 TFLOPS dubious. The difference between 3.5 TFLOPS and 4 TFLOPS seems pretty massive in terms of power and heat, but pretty small in terms of performance. I just don't believe that EPD will take 3.5 TFLOPS and say "we have 9x the power of the Switch, but it's not enough for Mario! Mario needs 11x the power of the Switch, no matter the cost!"
It just doesn't seem plausible to me.