solve (10 choose (x-1)) - 3*(10 choose x) > 0 over integers