Cho bất phương trình 3x - 2y ≤ 12. Tìm giá trị nguyên dương lớn nhất của x sao cho cặp số (x; 3) là nghiệm của bất phương trình đã cho.