193635250domain: NAppears in sequencesInteger part of 2^n/log(2^n).at n=31A141602a(n) = round(Product_{k=1..n} 1 + 2^2^(-k)).at n=27A383472