(1^n) for n=inf