したがって次のようにしてformula_11が極限計算可能であることが分かる: