Big O notation
となる。ただし "O" はランダウの記号である。このことから、定理を次のように述べることもできる。