limit (2^(2^n)) / (n!) , n->+oo