ここに、"a" と "k" は定数、"o" はランダウの記号である。