benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Find the smallest positive integer n such that underbrace2^2^2^2_n 2^prime s>underbrace((cdots((100!)!)!cdots)!)!_100 text factorials · Discussion

Discussing Find the smallest positive integer n such that underbrace{2^{2^{2^{2}}}}_{n 2^{prime} s}>underbrace{((cdots((100!)!)!cdots)!)!}_{100 text { factorials }} · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.