2^255 = 5.7896045e+76
52! = 8.0658175e+67
EDIT: I misread 2^225 as 2^255, thanks for the heads up from rzzzt.
2^225 = 5.3919893e+67, which is indeed smaller.
2^225 = 5.3919893e+67
2^226 = 1.0783979e+68
Reply on news.ycombinator.com