Hallo,
mir ist nicht klar, was Du genau fragst.
\(\mathcal{O} (h^4)\) steht für (irgendeinen) Term f, von dem man nur zu wissen braucht, dass eine Abschätzung der Form \(|f| \leq \text{const} \cdot h^4\) möglich ist.
Dass dies hier jeweils der Fall ist, folgt aus der Taylor-Formel bzw. den Infos aus der Taylor-Reihen-Darstellung.
Gruß Mathhilf