4 . 已知幂的基本不等式：当，时，．请利用此基本不等式解决下列相关问题：
(1)当，时，求的取值范围；
(2)当，时，求证：；
(3)利用（2）证明对数函数的单调性：当时，对数函数在上是严格增函数．

5 . 如果函数满足：对于任意，均有（m为正整数）成立，则称函数在D上具有“m级”性质．
(1)分别判断函数，，是否在R上具有“1级”性质，并说明理由；
(2)设函数在R具有“m级”性质，对任意的实数a，证明函数具有“m级”性质；
(3)若函数在区间以及区间（）上都具有“1级”性质，求证：该函数在区间上具有“1级”性质．

6 . 设函数定义域为．若整数满足，则称与“相关”于．
(1)设，，写出所有与“相关”于的整数；
(2)设满足：任取不同的整数，与均“相关”于．求证：存在整数，使得都与“相关”于；
(3)是否存在实数，使得函数，满足：存在，能使所有与“相关”于的非零整数组成一个非空有限集？若这样的存在，指出和的大小关系（无需证明），并求出的取值范围；若这样的不存在，说明理由．

10 . 若函数的定义域为，且对于任意的、，“”的充要条件是“”，则称函数为上的“单值函数”.对于函数，记
，，，…，，其中，2，3，…，并对任意的，记集合，并规定.
(1)若，函数的定义域为，求和；
(2)若函数的定义域为，且存在正整数，使得对任意的，，求证：函数为上的“单值函数”；
(3)设，若函数的定义域为，且表达式为：
判断是否为上的“单值函数”，并证明对任意的区间，存在正整数，使得.