Binomial[x,5] > 2^63-1, Binomial[x-1,5] < 2^63-1