Salut,
Normalement (en tout cas pour moi), la notation Arg(z) sans précision ne désigne pas vraiment un réel mais toute une classe de réels modulo 2pi : On peut écrire Arg(i)=pi/2 (qui est >pi/4) mais aussi Arg(i)=-3pi/2 (qui est <pi/4).
Donc, pour que ta question ait un sens, il faut absolument préciser ce que l'on veut dire par Arg(z), c'est à dire dans quel intervalle de largeur 2pi on choisi de mesurer les arguments. Les deux choix les plus fréquents (mais ce ne sont évidement pas les seuls possibles) sont ]-pi,pi] et [0,2pi[.
Vu le résultat que tu donne dans ton post,
on va supposer que les arguments sont pris dans

.
Dans ce cas, on peut énoncer de façon plus précise la formule
={\text Arg}(i)+{\text Arg}(z)+2k\pi={\text Arg}(z)+\frac{\pi}{2}+2k\pi)
:
1) Si
\in] -\pi,\frac{\pi}{2}])
alors
+\frac{\pi}{2}\in] -\frac{\pi}{2},\pi]\subset ] -\pi,\pi])
ce qui prouve que
={\text Arg}(z)+\frac{\pi}{2})
(i.e.

dans la formule générale) donc ton équation s'écrit
+\frac{\pi}{2}\geq\frac{\pi}{4})
et les solutions sont donc les

tels que
\in[ -\frac{\pi}{4},\frac{\pi}{2}])
(ne pas oublier l'hypothèse de départ
\in] -\pi,\frac{\pi}{2}])
)
2) Si
\in]\frac{\pi}{2},\pi])
alors
+\frac{\pi}{2}\in]\pi, \frac{3\pi}{2}]\subset ]\pi,2\pi])
ce qui prouve que
={\text Arg}(z)+\frac{\pi}{2}-2\pi)
(i.e.

dans la formule générale) donc ton équation s'écrit
+\frac{\pi}{2}-2\pi\geq\frac{\pi}{4})
c'est à dire
\geq \frac{7\pi}{4})
et il n'y a pas de solutions vu l'hypothèse de départ
\in]\frac{\pi}{2},\pi])
.