それと、「ある O(n^2) に属する関数 f(n) が存在して、任意の n の値に対して
サイズが n のどのような入力が選ばれてもその入力に対する実行時間は値
f(n) によって上から抑えられる」と書かれていますが、「任意の n の値に対して」
ではなく「ある n0 以上の任意の n の値に対して」が正しいのではないでしょうか？