This commit is contained in:
GitHub Merge Button 2012-01-13 15:24:52 -08:00
commit 9d5008cd9a

View file

@ -48,4 +48,4 @@
(< 1000000000000000000000000N (factorial 1000N)) (< 1000000000000000000000000N (factorial 1000N))
"But what happens when the machine limits you?" "But what happens when the machine limits you?"
(< 1000000000000000000000000N (factorial 10000N))) (< 1000000000000000000000000N (factorial 100003N)))