最大质因子
已知一个自然数n，求n 的最大质因子。
算法是通过不断寻找n 的最小质因子，再将该最小质因子从n 中排除，最后所得到的质因子便是n 的最大质因子。（验证时间约为218sec）
[Back to Index]
验证特点：数值计算，模运算，递归结构，量化断言，引理
标注说明：函数前条件：限定n的范围；
函数后条件：返回值\result 是满足n 的最大质因子。即，\result 是n 的一个质因子，且不存在任何大于\result 的数是n 的质因子。
程序样例 
