講義ノートを見返そう．ランダウ記号 $O(\cdot)$ は講義ではちゃんと定義しなかったけど，以前にどこかで触れていると期待しています…