漸近資源界漸近上界、下界與緊界必須相對輸入大小、成本模型及全尾段量化定義。atlas-asymptotic-resource-bound · canonical_mko漸近資源界前置節點自然數四則運算實數大小與順序函數映射