This result records local high-gain observer convergence for triangular observable-chain systems in a form suited to nonlinear and optimal control. It is used to justify stability, existence, optimality, or numerical approximation arguments elsewhere in the control theory notes.