(2^100)! < 2^100!