Sharp rational points counting near nondegenerate curves in $\mathbb{R}^n$

We establish sharp bounds for rational points near compact smooth nondegenerate curves in $\mathbb R^n$, for every $n\geq4$. For a nondegenerate curve $\mathcal C$ in $\mathbb R^n$, let \[ \mathcal R_{\mathcal C}(δ,Q) :=\#\left\{(\mathbf p,q)\in\mathbb Z^n\times\mathbb N: 1\leq q\leq Q,\ \operat