On the Krull dimensions of rings of integer-valued polynomials and polynomial rings

It was conjectured that every integral domain $D$ satisfies $\dim\operatorname{Int}(D) \leq \dim D[X]$. We disprove this conjecture and, more strongly, classify all pairs for which both dimensions are finite. Writing $m=\dim D[X]$ and $n=\dim\operatorname{Int}(D)$, the pairs that occur are precisely