(本小题满分13分）
设数列的前n项和为，对一切，点（）都在函数的图象上.
(1) 求的值,猜想的表达式,并证明你的猜想；
(2) 设为数列的前项积，是否存在实数、使得不等式对一切都成立？若存在，求出k的取值范围，若不存在，说明理由.