The bigrand faxul is equal to ((...((200!)!)!...)!)![1] (with grand faxul ()'s) or 200(!200(!200!+1)+1) using Nested Factorial Notation. The term was coined by Lawrence Hollom.
Etymology
Edit
The name of this number is based on prefix "bi-" and the number "grand faxul".
Sources
Edit
Community content is available under CC-BY-SA
unless otherwise noted.