You are wondering about the formula AG true, which holds in all states, including the deadend states (since those satisfy every A-formula). AG true can also be expressed in ยต-calculus as nu x.[]x which can also be easily seen to be true, since []true is true and therefore the fixpoint is found after one iteration step.