Everything is in $\mathbb{Z}$. Let $v_1 < v_2 < ... < v_n = k$, and $v_1 = 1$ for $k >> n$. Let $ P = \Pi_{i < j} (v_j - v_i)$. How can I show that $P \le k^{n^2}$?
There are $n + (n-1) + ... + 1 = \frac{n(n+1)}{2}$ terms in the product. Starting from $v_n - v_{n-1} = 1$, etc. Clearly, $P = 1(1*2)(1*2*3) ...(k-1)! = \Pi_{i=1}^{i=k-1} i!$. But I'm not sure about this superfactorial(?).
Also, I noticed that the product $P$ is very similar to the determinant of a Vandermonde matrix.