> 上の証明でいうとO(n)をa*nで置き換えるのがまだ解ってない。

見通しが良いからそう変えただけで、別にそこは置き換えなくても無問題だが。