umop ap!sdn wrote:48000000
(There's more than one way to narrow it down using binary. :D)
True enough, specifically, there are [(2^32)!]/([(2^31)!]^2) ways to cut it in half on the first guess. But many of those are difficult to characterize in a simple way :P