
\[E_{n}=2^{n}E_{n}\left(\tfrac{1}{2}\right)=\text{integer},\]