Bạn triển khai hay quá. Mình phục sát đất rồi! Thế mới biết bất kỳ định lý nào cũng đều có phần mở rộng. Ví dụ, bất đẳng thức Cosi, sẽ có bất đẳng thức Cosi suy rộng.