ランダウの記号
However, the model allows formula_5 parallel threads of computation after formula_6 steps. (See Big O notation.) Parberry (1986) suggested a more "reasonable" bound would be formula_7 or formula_8, in defense of the thesis.