  We prove that every ultraproduct of $p$-adics is inp-minimal (i.e., of burden
$1$). More generally, we prove an Ax-Kochen type result on preservation of
inp-minimality for Henselian valued fields of equicharacteristic $0$ in the RV
language.
