Achso, ok 2^(2^22) ist größer, als 2222!. Das stimmt dann doch.