inf^(1/inf)