Grand Kilofaxul

The grand kilofaxul is equal to ((...((faxul!)!)!)!)! with the kilofaxul nested factorials.