lim x->inf 1^x