GIR
3
×IGI
Also:
alim
x
(|GIR
3
×IGI|).
)