For any ring R and any ordinal α, define Nα(R) as follows. For α = 1, N1(R) is a nil subideal of Nil*R which contains all nilpotent one-sided ideals of R. If α is the successor of an ordinal β, define
Nα(R) = {r ∈ R : r + Nβ(R) ∈ N1 (R/Nβ(R))}. If α is a limit ordinal, define Nα(R) = (Union over β<α) Nβ(R).
Show that Nil*R = Nα(R) for any ordinal α with Card α > Card R.