1-(11/12)^n >= (11/12)^n