Bigrand Faxul

The  bigrand faxul  is equal to ((...((200 ! )!)!...)!)! with grand faxul  nested factorials or 200(! 200(! 200!) ) using  Nested Factorial Notation.