已知a>0,命题p:对任意x>0,x+a/x≥2恒成立,