各种类型的大O(功率系列、p-ADIC等)