1: \begin{proof}

2: 	The Weyl asymptotics \eqref{eq:Weyl-asymptotics} for the sum of Laplacian 

3: 	eigenvalues on a cube $Q$ can be rigorously justified with a uniform 

4: 	lower bound (see e.g. \cite{Kroeger-94}) 

5: 	$$

6: 		e_N(|Q|;\asym) = \sum_{k=0}^{N-1} \lambda_k(-\Delta_Q^\eN)

7: 		\ge \frac{K_d^\cl}{|Q|^{2/d}} \left( N^{1+2/d} - C N^{1+1/d} \right)_+

8: 	$$

9: 	for some constant $C>0$ and all $N \in \N$. 

10: 	Using that the r.h.s. is convex in $N > 0$, one may then also prove the

11: 	following improvement of the local exclusion principle of 

12: 	Lemma~\ref{lem:local-exclusion}:

13: 	\begin{equation}\label{eq:local-exclusion-Weyl}

14: 		T^Q[\Psi] \ \ge \ 

15: 		\frac{K_d^\cl}{|Q|^{2/d}} \left( \left(\int_Q \varrho_\Psi\right)^{1+2/d} 

16: 			- C\left(\int_Q \varrho_\Psi\right)^{1+1/d} \right)_+.

17: 	\end{equation}

18: 	Now, applying Lemma~\ref{lem:covering} in the second term

19: 	with $\alpha=2/d$, $\beta=1+2/d$ and $\gamma=1+1/d$, one obtains

20: 	$$

21: 		T[\Psi] \ge \sum_{Q \in \cQ} T^Q[\Psi] \ge 

22: 		\sum_{Q \in \cQ} \frac{K_d^\cl}{|Q|^{2/d}} \left( \left(\int_Q \varrho_\Psi\right)^{1+2/d} 

23: 			- C \frac{C_{d,\alpha,\beta}}{\Lambda^{1/d}} 

24: 			\left(\int_Q \varrho_\Psi\right)^{1+2/d} \right),

25: 	$$

26: 	for the corresponding partition $\cQ$ of $Q_0$, which proves \eqref{eq:LT-LDA}.

27: \end{proof}

28: