I was reading about cardinal arithmetic and I came across the beth function $\beth_\alpha$. For some ordinal $\alpha$, $\beth_\alpha$ defined by recursion on $\alpha$ by $\beth_0 = \aleph_0$, $\enspace \beth_{\alpha + 1} = 2^{\beth_\alpha}$ , and $\enspace \beth_\eta = \sup\{\beth_\alpha : \alpha < \eta \} $, where $\eta$ is a limit ordinal.
After reading about various properties of $\beth_\alpha$, I was surprised to see that it isn't used much in most topics. I found an exercise in Kunen's set theory book that seemed interesting.
$(\beth_\omega)^{\aleph_0} = \prod_{n \in \omega}\beth_n = \beth_{\omega + 1}$
$ \prod_{n \in \omega}\beth_n$ is defined to be $|\mathcal{F}|$, where $\mathcal{F} = \{f \in {}^\omega (\beth_\omega) : \forall n f(n) \in \beth_n\}$.
Since the beth function is based on cardinality, I'm guessing I have to somehow compare the cardinality to get a equation throughout. So far, I'm thinking that since $n \in \omega$, $(\beth_\omega)^{\aleph_0} = \prod_{n \in \omega}\beth_\omega \geq \prod_{n \in \omega}\beth_n $ . Also, $(\beth_\omega)^{\aleph_0} \leq 2^{(\beth_\omega)^{\aleph_0}} = 2^{(\beth_\omega)\cdot{\aleph_0}} = 2^{\beth_{\omega}} = \beth_{\omega + 1}$. This leaves me with: $$ \prod_{n \in \omega}\beth_n \leq (\beth_\omega)^{\aleph_0} \leq \beth_{\omega + 1}.$$
I'm not sure where to go from here. I mean, I know that I have to somehow bring the $\leq$ back around to the product, but that is where I'm stuck. Could anyone help me out? Thanks in advance!
EDIT: I forgot to mention that Kunen has a hint for this exercise: Every subset of $\beth_\omega$ can be coded by a function from $\omega$ into $\beth_\omega$.