We will show that if there are $s_n$ full sequences, then $s_{n+1}=(n+1)s_n$, which will show $s_n=n!$. Consider the $s_n$ sequences, and consider any arbitrary full sequence $a_1\ldots a_n$. For any $0\le i\le n$, consider the new sequence $a_1\ldots a_iba_{i+1}\ldots a_{n}$, where $b=\max(1+\max(a_1,\ldots, a_i),\max(a_{i+1},\ldots, a_{n}))$ (Here, let the maximum of $0$ numbers to be $0$). We will show that this new sequence is a full sequence of length $n+1$. The first condition is fulfilled because $\max(a_1,\ldots, a_n,b)\le \max(a_1,\ldots, a_n)+1$. Also, the first occurrence of any number $k\le \max(a_1,\ldots, a_n)$, the second condition is fulfilled. We only need to check if $b=\max(a_1,\ldots, a_n)+1$ and $k=b$, but then we must have $b=1+\max(a_1,\ldots, a_i)$ so then our second condition is filled.
Hence, each full sequence of length $n$, there are $n+1$ corresponding full sequences of length $n+1$. It suffices to show that for any full sequence of length $n+1$, say $c_1\ldots c_{n+1}$ there is a unique number in the $c_{j+1}$, $1\le j\le n+1$, such that $c_{j+1}=\max(1+\max(c_1,\ldots, c_j), \max(c_{j+2},\ldots, c_{n+1}))$ (Once again, the maximum of $0$ numbers is $0$), and that this sequence $c_1\ldots c_jc_{j+2}\ldots c_{n+1}$ is still full. We will show that $c_{j+1}$ is in fact the first occurrence of $\max(c_1,\ldots c_{n+1})$. If $c_{j+1}$ is not the maximum, then there is an occurrence of $c_{j+1}+1$ after it by assumption, which contradicts that $c_{j+1}< \max(c_{j+2},\ldots, c_{n+1})$. If $c_{j+1}$ is not the first occurrence of the maximum, then clearly $c_{j+1}<1+\max(c_1,\ldots, c_j)$. Now, we show that if $c_{j+1}$ is the first occurrence of the maximum, then $c_{j+1}=\max(1+\max(c_1,\ldots, c_j), \max(c_{j+2},\ldots, c_{n+1}))$. In fact, if there is only one occurrence of the maximum, then, $c_{j+1}=1+\max(c_1,\ldots, c_j)$ by assumption, and if there is more than one occurrence, then $c_{j+1}=\max(c_{j+2},\ldots, c_{n+1})$. Furthermore, it's clear that the sequence $c_1\ldots c_jc_{j+2}\ldots c_{n+1}$ is a full sequence of length $n$, so we are done.