remark 7.11

some more context for the complexity bounds