Assume that for each $n\in\mathbb{N}$, there's a stochastic function $f_n$ of type $\mathbb{R}^{m}\to\Delta\mathbb{R}^{m}$, and for each $x\in\mathbb{R}^{m}$, the distributions $\frac{f_n(x)-x}{\frac{1}{n}}$ will weakly converge as $n$ limits to $\infty$, s.t. the n'th distribution is about $O(\frac{1}{n^2})$ away from the limiting distribution w.r.t. the usual earthmover distance. Also, the function which maps a given starting point $x$ to its (rescaled) limiting distribution $\lim_{n\to\infty}\frac{f_n(x)-x}{\frac{1}{n}}$ is known to be Lipschitz.
The particular thing I'm trying to prove is that, for any finite interval of time $[0,I]$, $\epsilon,\delta$, then in the $n\to\infty$ limit, all but $\delta$ of the trajectories you get from applying $f_n$ $In$ times to a starting point are $\epsilon$-close to the trajectory you get from the differential equation $\frac{dx}{dt}=\lim_{n\to\infty}\mathbb{E}\left[\frac{f_n(x)-x}{\frac{1}{n}}\right]$ (ie, in a tiny time interval, the point just moves deterministically to the average of its next positions, instead of moving randomly)
Now, there's a strong informal intuition for why it would work out this way. Because the function which maps a given starting point $x$ to its (rescaled) limiting distribution $\lim_{n\to\infty}\frac{f_n(x)-x}{\frac{1}{n}}$ is Lipschitz, that means that for large $n$, it should be be possible to iterate the function a whole bunch of times in a row without the distribution on next-positions changing much. Splitting the application of the function into a deterministic "drift" term that goes to the average next position, and a random term with a mean of 0, the resulting distribution should look something like "sum up all the drift terms, and by Martingale Central Limit Theorem shenanigans, the random terms will mostly cancel themselves out and look like a Gaussian with the same covariance matrix."
But since the "spread" of the Gaussian is about $\sqrt{\text{number of iterations}}\cdot\text{step-size}$, and the step size scales as $\frac{1}{\text{total number of iterations}}$, the "spread" after $n$ steps would be about $\sqrt{n}\cdot\frac{1}{n}=\frac{1}{\sqrt{n}}$ and so in the $n\to\infty$ limit, the Gaussian sharpens up to a single point, a dirac-delta distribution. The variance is decreasing too fast as $n$ ramps up, and so, in the limit, the differential equation is deterministic, not stochastic, and only the "drift" terms survive from the repeated application of $f_n$ for large $n$.
The issue is, although the informal argument is quite clear, I don't know what theorems would be involved in rigorously proving this conjecture. The stochastic differential equation theorems I've looked at seem to primarily be about how to analyze stochastic differential equations once you already have them, not about rigorously showing that a given sequence of discrete stochastic processes have a certain SDE as their limit. A response like "if you prove this bound and that bound and this other bound on your stochastic function we can directly apply Theorem 3.24 from BlahBlah to show your desired result" would be ideal.
