d(f)の上限と下限がformula_129の階数の対数の多項式であることから、d(f)はformula_129の階数の対数に多項式的に関連していると考えられる。