可运行实验：p积分收敛观察

编写程序完成“p积分收敛观察”。算法契约：计算 p=max(1.1,|a|) 时 p 积分从1截断到 n+1 的解析值。 本实验直接反查课堂任务：证明部分和 Σ_{k=1}^n 1/k² 是Cauchy列，使用尾和积分估计。 程序必须依据关系 a_n\text{ converges}\iff\forall\varepsilon>0\ \exists N\ \forall m,n>N:|a_m-a_n|<\varepsilon，并在说明中处理边界：有界不等于Cauchy；在有理数域Cauchy列也可能没有有理极限。 输入三个浮点数 a b n，使用题定离散过程输出保留8位小数；禁止第三方包。