已知函数，.
（1）求函数的最小值；
（2）若，证明：当时，.