o(ab) is finite whenever o(a) and o(b) are

The kind of mistake this is

Finite-dimensional intuition

Something true in ℝⁿ, or in a nice space, assumed in general.