why is that sum starting at ZERO for the MLE of theta?

To show that the first order stat is the MLE of a, you need to show that the

likelihood function is increasing in a.

So we want a as large as possible, i.e., the first order stat, it's upper bound.