Constraint:a*log(1+1/b)>k

Unlike your previous constraint at Constraint:a*log(1+b/a)>c

if a and b are separate variables, the LHS is neither concave nor convex. Therefore the constraint s non-convex.