Let $\kappa$ be a regular uncountable cardinal, and let $\lambda < \kappa$ be regular. Define the set $E_{\lambda}^{\kappa} = \{\alpha < \kappa \mid \operatorname{cf}\alpha=\lambda \}.$ I am trying to show that this is a stationary subset of $\kappa$, i.e. that it has non-zero intersection with every closed unbounded set $\subseteq \kappa$.
My attempt at solving this was to take a club $C$ and then construct an increasing sequence $\langle \beta_{\xi} \mid \xi < \lambda\rangle$ in $C$. Since $\operatorname{cf}\lambda = \lambda$ then $\alpha:= \displaystyle\lim_{\xi \rightarrow \lambda}\beta_{\xi} < \kappa$, and hence $\alpha \in C$. If I could show that $\operatorname{cf}\alpha = \lambda$, then $E_{\lambda}^{\kappa} \cap C \not= \emptyset$, which is good.
Is this the right way to go about this? Thanks.