4 . 已知关于的函数，与在区间上恒有，则称满足性质.
(1)若，，，，判断是否满足性质，并说明理由；
(2)若，，且，求的值并说明理由；
(3)若，，，，试证：是满足性质的必要条件.

8 . 已知有穷数列中的每一项都是不大于的正整数.对于满足的整数，令集合.记集合中元素的个数为（约定空集的元素个数为0）.
(1)若，求及；
(2)若，求证：互不相同；
(3)已知，若对任意的正整数都有或，求的值.

9 . 已知无穷数列满足，其中表示x，y中最大的数，表示x，y中最小的数.
(1)当，时，写出的所有可能值；
(2)若数列中的项存在最大值，证明：0为数列中的项；
(3)若，是否存在正实数M，使得对任意的正整数n，都有？如果存在，写出一个满足条件的M；如果不存在，说明理由.