はじめに アルゴリズムの計算量を表現するツールとして，$O$-notation というのは競技プログラミングの文脈でもよく出てきます．その一方で，$O$-notation の導入が「ふわっ」と行われるケースはかなり多く，厳密に定義して導入する場面というのが実は少ない…