i ** i <= i
