1 + 7i < (1+i)^7