\forall y\ge 0