$z*x\le y$