This will leave you with a simpler inequality that has integer terms and an integer coefficient.