Solution
= Solution
In the no-simultaneous-event infinitesimal representation, the event increment is binary, so $dN_+(t)^2=dN_+(t)$. \b[Its second moment equals its first moment]:
$$
\boxed{\mathbb E[dN_+(t)^2\mid\mathcal H_{t-}]
=Y_+(t)dH(t)+o(dt).}
$$
This uses the assumed binary increment. In an ordinary finite interval more than one event is possible, and the equality would not hold exactly; the no-ties counting-process calculation concerns the first-order infinitesimal terms.