已知C>0,设命题P:函数y=c^x为减函数;命题q:当x>0时,函数f(x)=x+1/x>1/c恒成立,如果pvq为真