y \leq 3