Pregunta: Utilice el procedimiento de redondeo de enteros mixtos para mostrar que (y1+6y2)/4+y3+4y4>=16 es una desigualdad válida para x={y ∈ Z 4 +: y1+6y2 +12y3+48y4>=184}