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