Al estar trabando ya con ciclos, considero que has visto algo de teoría, de igual forma te comparto un link de [w3schools-for loop](https://www.w3schools.com/java/java_for_loop.asp), donde estoy segura aprenderás mucho más. 

Si bien, mencionas que tu duda es: ¿Por qué ***j > i***? Veamos.

En tu primer for (`for (int i = 0; i < 5; i++)`) estas declarando que **i=0** y que este ciclo se ejecutará siempre que ***i*** sea menor a 5, es decir que cuando ***i*** valga 5, este ciclo ya no dará más, debido a que 5 nunca sera menor a 5. 

En tu segundo for (`for (int j = 5; j > i; j--)`) declaras que **j=5** y que el ciclo se ejecutará siempre que **j>i**. Veamos, en su primer iteración del primer for ***i*** es igual a 0, lo cual cumple con la condición de que ***i*** sea menor que 5, y hace que entre al segundo for.

En la primer iteración: 

- ***i*** es igual a 0. 
- ***j*** es igual a 5.

Por lo que tenemos que 5 es mayor a 0 ó ***j*** es mayor a ***i***, lo cual es la condición de tu segundo for: **j>i**


Como se cumple la condición, entra al cuerpo del segundo for e imprime `@`. Como tu estas dando un decremento a ***j*** con `j--`, en su segunda vuelta del segundo for, ***j*** ya vale 4, pero sigue siendo mayor que ***i***, por lo tanto imprimirá otras arroba.

Tu segundo for dará tantas vueltas sean necesarias hasta no cumplir con la condición, es decir ***j*** valdrá **5,4,3,2,1,0**. Es decir, dará en total 5 vueltas hasta romper el que ***j*** ya no sea mayor que ***i***. Cuando llegue a 0 ya no cumplirá con la condición y por lo tanto ya no entrará a imprimir una sexta arroba, debido a que **j=0** no es mayor a **i=0**. Entonces sale del segundo for, el programa sigue su camino y ahora da un salto de linea con el `System.out.println("");` que es parte del primer for. 

Ahora, gracias al incremento que tienes de `i++` para tu primer for, ***i*** ya vale 1, se cumple la condición de que **i < 5** y entra nuevamente al segundo for. El segundo for ahora dará las vueltas necesarias hasta que ya no se cumpla su condición (j>i), los valores que tendrá serán **5,4,3,2,1** el ciclo se romperá cuando ***j*** valga 1, ya que **j=1** no es mayor que **i=1**. Sale del segundo for y da un salto de linea.

.....

Esto se repetirá hasta que ***i*** valga 5, ya que la condición del primer for es **i>5**, a lo cual 5>5 es falso y por lo tanto ya no se ejecutara ningún for.

Las iteraciones serán las siguientes:

    valor de i: 0.  valores de j: 543210   las arrobas que imprime @@@@@
    valor de i: 1.  valores de j: 54321    las arrobas que imprime @@@@
    valor de i: 2.  valores de j: 5432     las arrobas que imprime @@@
    valor de i: 3.  valores de j: 543      las arrobas que imprime @@
    valor de i: 4.  valores de j: 54       las arrobas que imprime @


Espero haber sido clara.