解:
-3lnx<=y
两边除以-3,不等式变号
lnx>=-y/3
所以
e^(lnx)>=e^(-y/3)
x>=e^(-y/3)

两边除以负的指数不用变号
要变号是因为除以一个负的数!