Big O notation
また、formula_12は、ランダウの記号である。