En un artículo que estoy leyendo, la desigualdad y la justificación es Hölder de la desigualdad: $$\left(\sum_{i=1}^n a_{ii}\right)^m \le n^{m-1} \sum_{i=1}^n a_{ii}^m$$ donde $a_{ii}\ge0$ todos los $i$.
Sin embargo, no sé por qué la justificación de las obras. He tratado de justificar por escrito $a_{ii}$$a_{ii}\cdot1$, entonces la aplicación de la desigualdad. Llego un poco estrecha, ya que la $n$ elevado a una potencia que sale como un factor, pero por desgracia no estoy llegando a la desigualdad anterior.