y\in[0,+\infty)