Theorem: Suppose regularity conditions (A)-(C) are met. Then for any consistent estimator \(\bth\), we have

\[\tfrac{1}{\sqrt{n}}\u(\bth) = \tfrac{1}{\sqrt{n}}\u(\bts) - \{\fI(\bts) + o_p(1)\} \sqrt{n}(\bth-\bts).\]

Proof: Taking Taylor series expansions of the contributions to the score vector, we have

\[\u_i(\bth) = \u_i(\bts) - \left[ \oI_i(\bts) + M(x_i)O(\norm{\bth-\bts})\one \right]\Tr (\bth-\bts).\]

Summing these contributions and dividing by $\sqrt{n}$,

\[\tfrac{1}{\sqrt{n}}\u(\bth) = \tfrac{1}{\sqrt{n}}\u(\bts) - \left[ \tfrac{1}{n}\oI_n(\bts) + \left\{\tfrac{1}{n}\sum_{i=1}^n M(x_i)\right\} O(\norm{\bth-\bts})\one \right]\Tr \sqrt{n}(\bth-\bts).\]

Finally, note that

Thus, the rules of O notation tell us that the entire term inside the square brackets is converging to $\fI(\bts)$ in probability.