ab<4*5\;=>ab<20\\c<7\; =>5c<7*5\; =>5c<35\\ab+5c<20+35\; =>ab+5c<55\\\\b)\; \frac{1}{2}abc-8\; -?\\a<4,\; b<5\; c<7\; =>\frac{1}{2} abc<\frac{1}{2}* 4*5*7\; =>abc<70\\ \frac{1}{2} abc-8<70-8\; =>\frac{1}{2} abc<62" alt="a)\;\; ab+5c\; -?\\a<4,\;b<5\;=>ab<4*5\;=>ab<20\\c<7\; =>5c<7*5\; =>5c<35\\ab+5c<20+35\; =>ab+5c<55\\\\b)\; \frac{1}{2}abc-8\; -?\\a<4,\; b<5\; c<7\; =>\frac{1}{2} abc<\frac{1}{2}* 4*5*7\; =>abc<70\\ \frac{1}{2} abc-8<70-8\; =>\frac{1}{2} abc<62" align="absmiddle" class="latex-formula">
