la_20和formula_31成比例关系。
次线性整函数.次线性函数，指函数值总小于等于定值乘以变量值的函数。设整函数formula_20满足：其中formula_8是一个常数系数。考虑formula_20的导函数。根据柯西积分公式，其中formula_49是以formula_9为圆心，半径为formula_24的圆；取formula_53，则formula_54 所以formula_55，因此因此依据刘维尔定理，formula_57是常数函数。另一方面，formula_