Ông Trí dự định chạy bộ tổng cộng ít nhất 6 500 m vào buổi sáng và buổi chiều trong ngày. Buổi sáng ông Trí chạy được 4 000 m. Gọi x là số mét ông Trí chạy bộ vào buổi chiều. Viết hệ thức chứa x biểu thị điều kiện để ông Trí chạy được như dự định.