After doing some tests I know the answer to this. If the standard deviation is high enough, the means will not converge fast enough to give an acceptable error. Assume the distribution of residuals is uniform and normal. If you take $n$ samples from each of the 2 points, you can take the "realm of possibilities" as some confidence interval with bounds: $$ME = z^*\frac{\sigma}{\sqrt{n}}$$ For whatever z-score is acceptable. The maximum error is going to be 2 times this (the bottom of one interval to the top of the other). If the relationship is already very small, then you must have large $n$ anyways, but there also is the fact that $n$ is proportional to $\sigma^2$ so if the standard deviation is high, then n must be extremely high to get a good answer.
Is there a more official way to say this, or a resource I could look up that gives a formal reason/proof/explanation?
Also, could this possibly invalidate the results of matching if the underlying relationship is linear and the standard deviation is high? Or is matching merely looking for any answer, as opposed to a precise one?