The zero trace and unit eigenvalues imply equal numbers of +1 and −1eigenvalues, so N is even. A two-dimensional representation is impossible: all four matrices α1,α2,α3,β would be traceless 2×2matrices. Anticommutation gives Tr(AB)=0 for distinct matrices, whereas Tr(A2)=2. They would therefore be four linearly independent members of the three-dimensional complex space of traceless 2×2matrices, acontradiction.
The usual irreducible 3+1 dimensional Dirac representation has N=4. Larger representations can contain multiple copies; the requested lower bound is not itself a proof of irreducibility.