已知命题p:对任意x属于(0,+无穷),不等式1/x+x>m都成立;命题q:f(x)=(7-2m)^x是实数集R上的增函