Vanishing local errors can accumulate

The condition $j{\eta }_j\to 0$ is sufficient, not necessary for every possible implementation: errors can cancel or have additional structure. Proposition prop:accumulation shows why merely assuming ${\eta }_j\to 0$ is insufficient.