Vì a có trị tuyệt đối
=> a có thể là số âm hoặc số dương
Nghĩa là: ! a ! hoặc ! -a !
Khi bỏ trị, a luôn là số dương nên sẽ bằng a bên vế phải khi a bên vế phải dương, và sẽ lớn hơn a bên vế phải khi a bên vế phải âm
=> Với mọi số nguyên a, ! a ! > hoặc = a