Finding the ring of integers of $\Bbb Q(\sqrt[4]{2})$ 
I know$^{(1)}$ that the ring of integers of $K=\Bbb Q(\sqrt[4]{2})$ is $\Bbb Z[\sqrt[4]{2}]$ and I would like to prove it.

A related question is this one, but it doesn't answer mine.
I computed quickly the discriminant $\text{disc}(1,\sqrt[4]{2},\sqrt[4]{4},\sqrt[4]{8})=-2^{11}$.
According to this answer, this means that
$\mathcal{O}_K \subset \frac{1}{m}\Bbb Z\left[\sqrt[4]{2}\right]$ where $m$ is an integer whose square divides $2^{11}$, so $m=1,2,2^2,\dots,2^5$ are possible.
But how could I rule out the values $m>1$?
I am aware that it can be a tricky problem. Any reference providing a description of $\mathcal{O}_{\Bbb Q(\sqrt[4]{2})}$ would be satisfactory. I will be grateful for any help!

$^{(1)}$ I tested with SAGE the following code
K.<a> = NumberField([x^4-2]);
K.integral_basis()

and I got the expected answer, namely $[1,a,a^2,a^3]$.

Following the approach of Keith Conrad, suppose that $$\alpha = a + b \sqrt[4]2+c\sqrt[4]4+d\sqrt[4]8,\quad a,b,c,d\in\mathbb Q$$
is an element of $\mathcal O_K$. We will show that $\alpha\in\mathbb Z[\sqrt[4]2]$. Calculating traces,
$$
\mathrm{Tr}_{K/\mathbb Q}(\alpha) = 4a\\
\mathrm{Tr}_{K/\mathbb Q}(\sqrt[4]2\alpha) = 8d\\
\mathrm{Tr}_{K/\mathbb Q}(\sqrt[4]4\alpha) = 8c\\
\mathrm{Tr}_{K/\mathbb Q}(\sqrt[4]8\alpha) = 8b
$$
are all integers, and therefore, the denominators of $a,b,c$ and $d$ can only involve powers of $2$. 
This enables us to solve our problem $2$-adically - indeed, it suffices to show that $\mathcal O_{\mathbb Q_2(\sqrt[4]2)} = \mathbb Z_2[\sqrt[4]2]$, since if $\alpha=\frac{1}{2^k}\alpha'$, where $\alpha'\in\mathbb Z[\sqrt[4]2]$, then $\alpha$ can only be an element of $\mathbb Z_2[\sqrt[4]2]$ if $k\le 0$.
But $\mathbb Q_2(\sqrt[4]2)$ is totally ramified with uniformiser $\sqrt[4]2$ (by observation, or since $X^4-2$ is Eisenstein at $2$), so it follows by Lemma $1$ in Conrad's notes that $\mathcal O_{\mathbb Q_2(\sqrt[4]2)} = \mathbb Z_2[\sqrt[4]2]$. Hence $\mathcal O_K = \mathbb Z[\sqrt[4]2]$.
