4 . 临沂一中校本部19、20班数学小组在探究函数的性质时，发现通过函数的单调性、奇偶性和周期性，还无法准确地描述出函数的图象，例如函数和，虽然它们都是增函数，但是图像上却有很大的差异. 通过观察图像和阅读数学文献，该小组了解到了函数的凹凸性的概念. 已知定义：设连续函数f（x）的定义域为，如果对于内任意两数，都有，则称为上的凹函数；若，则为凸函数. 对于函数的凹凸性，通过查阅资料，小组成员又了解到了琴生不等式（Jensen不等式）：若f（x）是区间上的凹函数，则对任意的,有不等式恒成立（当且仅当时等号成立）. 小组成员通过询问数学竞赛的同学对他们研究的建议，得到了如下评注：在运用琴生不等式求多元最值问题，关键是构造函数.小组成员选择了反比例型函数和对数函数，研究函数的凹凸性.
(1)设，求W=的最小值.
(2)设为大于或等于1的实数，证明（提示：可设）
(3)若a>1，且当时，不等式恒成立，求实数的取值范围.