z*x\le y