  Let $n \geq 2$ be any integer. A number field $K$ of degree $n$ with
embeddings $\sigma_1,\dots,\sigma_{n}$ into $\mathbb{C}$ has a norm given by \[
\lvert x \rvert = \sqrt{\frac{1}{n}\sum_{i = 1}^{n}\lvert \sigma_i(x)\rvert^2}
\] for $x \in K$. With respect to this norm, an order $\mathcal{O}$ in a number
field of degree $n$ has successive minima $1=\lambda_0 \leq \dots \leq
\lambda_{n-1}$. Motivated by a conjecture of Lenstra, we aim to determine which
inequalities of the form $1 \ll_{\mathcal{S}}
\lambda_1^{f_1}\dots\lambda_{n-1}^{f_{n-1}}$ for $f_1,\dots,f_{n-1} \in
\mathbb{R}$ hold for an infinite set $\mathcal{S}$ of isomorphism classes of
orders in degree $n$ fields. In many cases -- such as when $\mathcal{S}$ is the
set of isomorphism classes of orders in degree $n$ fields or $\mathcal{S}$ is
the set of isomorphism classes of orders in degree $n$ fields with fixed
subfield degrees -- we provide a complete classification of which inequalities
$\lambda_k \ll \lambda_i\lambda_j$ hold. Moreover, when $n < 18$, $n$ is a
prime power, or $n$ is a product of $2$ distinct primes, we combinatorially
classify the integers $1\leq i_1,\dots,i_t,j_1,\dots,j_t,k_1\dots,k_t < n$ for
which there exists an infinite set $\mathcal{S}$ of isomorphism classes of
orders in degree $n$ fields such that $\lambda_{i_s}\lambda_{j_s} =
o(\lambda_{k_s})$ for all $1 \leq s \leq t$ and all $\mathcal{O} \in
\mathcal{S}$. We also prove analogous theorems about successive minima of
ideals in number fields and scrollar invariants of curves.
