New integer sequence! Discovered while preparing a talk about integer sequences! Smallest k such that k! > 2^n. oeis.org/A269225