y的值恒小于零是什么意思?这个可以翻译为怎么样的一个式子?