How do you solve y<x/2?