I'm studying a forcing argument which produces a generic extension in which GCH holds, but I am, somewhat embarrassingly, stuck on a minor detail. I hope someone can point out the thing I'm missing.
Let $P_\alpha=\mathrm{Fn}(\beth_\alpha^+,\beth_{\alpha+1},\beth_\alpha^+)$ be the Lévy collapsing notions. Denote by $P$ their Easton product over all ordinals $\alpha$; each element of $P$ is a function $p$, defined on some subset of the ordinals, so that $p(\alpha)\in P_\alpha$ for all $\alpha$ and $|\{\alpha<\gamma;p(\alpha)\neq\emptyset\}|<\gamma$ holds for all regular cardinals $\gamma$. Order $P$ coordinate-wise. Also, for any $\alpha$ define $P^{>\alpha}=\{p|_{\{\beta;\beta>\alpha\}};p\in P\}$ as the class of restrictions of elements of $P$ to ordinals, greater than $\alpha$ (don't be alarmed that these things are proper classes; it doesn't really matter at this point).
I am told that $P^{>\alpha}$ is $\beth_{\alpha+1}$-closed (as Jech would say, or $\leq\beth_{\alpha+1}$-closed, as Kunen would say). So let's take $\mu\leq\beth_{\alpha+1}$ and a descending $\mu$-sequence $(q_\xi)_{\xi<\mu}$ and define $q$ on $\bigcup_{\xi<\mu}\mathrm{dom}(q_\xi)$ by $q(\beta)=\inf_{\xi<\mu} q_\xi(\beta)$, where the existence of the infimum in $P_\beta$ is guaranteed by the fact that $P_\beta$ is $\beth_\beta$-closed. For $q$ to be a lower bound for our sequence, we have to check the support condition mentioned above. Taking a regular $\gamma$, we have $|\{\beta<\gamma;q(\beta)\neq\emptyset\}|= \left|\bigcup_{\xi<\mu}\{\beta<\gamma;q_\xi(\beta)\neq\emptyset\}\right|$
This is where I get confused. Certainly, $\gamma$ can be taken greater than $\alpha$. Also, since $\gamma$ is regular, if we also have $\mu<\gamma$, the above union has cardinality strictly less than $\gamma$ and we get what we want. What worries me is what happens when $\gamma\leq\mu$. This doesn't seem at all right, so I suspect I messed up something in setting up the proof.