Definition:Superfactorial/Examples