主定理

主定理用于求解递归方程式的渐进界