Gliding-hump continuity principle ($U_{n}S{P}_n\text{ is continuous eventually},P_n=T_1\cdots T_n$)

Let $S:E\to Y$ be linear between Banach spaces, let $T_n:E\to E$ be bounded, and let $U_n:Y\to Z_n$ be bounded. If $U_{n}S{P}_m$ is continuous whenever $m>n$, then $U_{n}S{P}_n$ is continuous for all sufficiently large $n$. After rescaling the bounded operators, assume their norms are at most one. If the conclusion failed, discontinuity would allow successively tiny vectors $x_j$ whose diagonal images dominate all previous contributions. Choose their norms also to control the continuous maps $U_{n_i}S{P}_{n_i+1}$ on subsequent tails. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ would then satisfy $\Vert U_{n_j}Sx\Vert >j$ despite $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$, a contradiction. The tail is factored through $P_{n_i+1}$ before applying $S$, so no continuity of $S$ is assumed.