Big O notation
O, o はランダウの記号である。これらの不等式を順に、第一定理から第三定理と呼ぶ。