lim sup( (log_2 2n)/ (log_2 log_12 144^n) ), for n to infinity