4 . 已知①设函数的值域是，对于中的每个，若函数在每一处都等于它对应的，这样的函数叫做函数的反函数，记作，我们习惯记自变量为，因此可改成即为原函数的反函数．易知与互为反函数，且．如的反函数是可改写成即为的反函数，与互为反函数．②是定义在且取值于的一个函数，定义，则称是函数在上的次迭代．例如，则．对于一些相对复杂的函数，为求出其次迭代函数，我们引入如下一种关系：对于给定的函数和，若函数的反函数存在，且有，称与关于相似，记作，其中称为桥函数，桥函数满足以下性质：
（i）若，则
（ii）若为的一个不动点，即，则为的一个不动点．
(1)若函数，求（写出结果即可）
(2)证明：若，则．
(3)若函数，求（桥函数可选取），若，试选取恰当桥函数，计算．

6 . 数学归纳法是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立．证明分为下面两个步骤：1．证明当（）时命题成立；2．假设（，且）时命题成立，推导出在时命题也成立．用模取余运算：表示“整数除以整数，所得余数为整数”．用带余除法可表示为：被除数＝除数×商＋余数，即，整数是商．如，则；再如，则．当时，则称整除．现从序号分别为，，，，…，的个人中选出一名幸运者，为了增加趣味性，特制定一个遴选规则：大家按序号围成一个圆环，然后依次报数，每报到（）时，此人退出圆环；直到最后剩1个人停止，此人即为幸运者，该幸运者的序号下标记为．如表示当只有1个人时幸运者就是；表示当有6个人而时幸运者是；表示当有6个人而时幸运者是．
(1)求；
(2)当时，，求；当时，解释上述递推关系式的实际意义；
(3)由（2）推测当（）时，的结果，并用数学归纳法证明．

7 . 已知为有穷正整数数列，，且．从中选取第项，第项，，第项，称数列，为的长度为的子列．规定：数列的任意一项都是的长度为1的子列．若对于任意的正整数，数列存在长度为的子列，使得，则称数列为全覆盖数列．
(1)判断数列和数列是否为全覆盖数列；
(2)在数列中，若，求证：当时，；
(3)若数列满足：，且当时，，求证：数列为全覆盖数列．

8 . 将数列中项数为平方数的项依次选出构成数列，此时数列中剩下的项构成数列；再将数列中项数为平方数的项依次选出构成数列，剩下的项构成数列；…．如此操作下去，将数列中项数为平方数的项依次选出构成数列，剩下的项构成数列．
(1)分别写出数列的前2项；
(2)记数列的第项为．求证：当时，；
(3)若，求的值．