为了清晰期间请孓我水瓶先生给出质疑点，给出提纲。
您质疑我回答，按照逻辑性进行答辩，同时希望先生就题论题，不做题外发挥！
非常感谢@孓我水瓶
请先生入席！！！

首先我们先讨论1是不是素数的问题：
1是素数的问题：
第一1是素数有着近2000年的历史了，其鼻祖是埃拉托斯散在公元250年定义的，
在旧羊皮上扣洞，1是留下的孤岛就是素数。
第二欧拉用算术基本定理否定1是素数，1的特性是固有的，而算术基本定理的定义域中是不包含1的。
请注意早在公元300年的欧几里得在其《几何原本》中就证明了算术基本定理，
那个时候欧几里得认为1连数都不是，更不用说1是素数了，即算术基本定理中的素数都是大于1的素数。
因此欧拉借用算术基本定理否定1是素数是严重违反逻辑的。
所以：
1是素数这是数学的大厦的基石！！！

由于分开讨论清晰，所以就分为不同的楼，望先生海涵！

数论界的一场盛宴即将开幕！

孓我水瓶先生说：【但是即便有正相关条件，也不能从一个数列有下界而推出另一个有下界。
比如考虑一个数列增加10000时，另一个只增加1；
而当第一个数列减少1时，第二个会减少10000.
显然第二个数列会趋向负无穷。】
孓我水瓶先生又说【我举出的例子不是完全符合您对正相关的理解吗？a(1)=1,b(1)=1,a(2n+1)=a(2n)+10000,b(2n+1)=b(2n)+1,a(2n+2)=a(2n+1)-1,b(2n+2)=b(2n+1)-10000.此时a(n)有下确界，但您能给出b(n）的下界吗？】
************
由于孓我水瓶先生描写的不轨范，所以我给重新排列一下，便于大家思考：
a(1)=1，
a(2n+1)=a(2n)+10000,
a(2n+2)=a(2n+1)-1
以上就是a(n)数列吧。
b(1)=1，
b(2n+1)=b(2n)+1,
b(2n+2)=b(2n+1)-10000.
以上就是b(n）数列吧。
***********
请@孓我水瓶 先生核对我对您的举例描写的对不对？

靠吹牛皮质疑：你不如说你是法国巴黎师范学院的老教授，菲尔兹奖的N次获得者。