4 . 已知实数，定义数列如下：如果，，则．
(1)求和（用表示）；
(2)令，证明：；
(3)若，证明：对于任意正整数，存在正整数，使得．

9 . 给定数列，定义差分运算：.若数列满足，数列的首项为1，且，则（       ）

A．存在，使得恒成立

B．存在，使得恒成立

C．对任意，总存在，使得

D．对任意，总存在，使得

10 . 2023年10月11日，中国科学技术大学潘建伟团队成功构建255个光子的量子计算机原型机“九章三号”，求解高斯玻色取样数学问题比目前全球是快的超级计算机快一亿亿倍.相较传统计算机的经典比特只能处于0态或1态，量子计算机的量子比特（qubit）可同时处于0与1的叠加态，故每个量子比特处于0态或1态是基于概率进行计算的.现假设某台量子计算机以每个粒子的自旋状态作为是子比特，且自旋状态只有上旋与下旋两种状态，其中下旋表示“0”，上旋表示“1”，粒子间的自旋状态相互独立.现将两个初始状态均为叠加态的粒子输入第一道逻辑门后，粒子自旋状态等可能的变为上旋或下旋，再输入第二道逻辑门后，粒子的自旋状态有的概率发生改变，记通过第二道逻辑门后的两个粒子中上旋粒子的个数为.
(1)若通过第二道逻辑门后的两个粒子中上旋粒子的个数为2，且，求两个粒子通过第一道逻辑门后上旋粒子个数为2的概率；
(2)若一条信息有种可能的情况且各种情况互斥，记这些情况发生的概率分别为，，…，，则称（其中）为这条信息的信息熵.试求两个粒子通过第二道逻辑门后上旋粒子个数为的信息熵；
(3)将一个下旋粒子输入第二道逻辑门，当粒子输出后变为上旋粒子时则停止输入，否则重复输入第二道逻辑门直至其变为上旋粒子，设停止输入时该粒子通过第二道逻辑门的次数为（，2，3，⋯，，⋯）.证明：当无限增大时，的数学期望趋近于一个常数.
参考公式：时，，.