已知函数f(x)=log1/2(x^2-6x+5)在(a,+∞)上是减函数,则实数a的取值范围是