数值为不大于自变量formula_1的算术平方根的最大整数，定义域为自然数，符号表示为formula_2。
定义.整方根函数formula_2用原始递归函数可定义为：formula_4
牛顿法.由牛顿法迭代公式formula_5，欲计算formula_2，可令formula_7，由formula_8，得formula_9与formula_10轴相交于formula_11，可计算平方根，于是formula_12，代入迭代公式可得formu