c(1000,5) < 1000**5 < 1000**5*log(2, 1000*5) < 2**1000