“a>1”是“y=a∧x为增函数”的什么条件?