Question 155743
2>=y/2-y/4
2>=(2y-y)/4
8>=y
proof: 
let y=7
2>=7/2-7/4
2>=(2*7-7)/4
2>=(14-7)/4
2>=7/4
2>=1.75