Tính tổng các nghiệm nguyên của bất phương trình: log₂ (x² + 3) − log₂ x + x² − 4x + 1 ≤ 0