I know in class for simplicity we're still allowing exactly half the sampling frequency, but visually it also looks like there should be no aliasing. Why is there a strict inequality?