已知数列满足且
(1) 证明：；
(2) 比较a_n与的大小；
(3) 是否存在正实数c，使得，对一切恒成立？若存在，则求出c的取值范围；若不存在，说明理由．