Let
K
K
be a complete discrete valuation field with residue class field
k
k
, where both are of positive characteristic
p
p
. Then the group of wild automorphisms of
K
K
can be identified with the group under composition of formal power series over
k
k
with no constant term and
X
X
-coefficient
1
1
. Under the hypothesis that
p
>
b
2
p > b^2
, we compute the first nontrivial coefficient of the
p
p
th iterate of a power series over
k
k
of the form
f
=
X
+
∑
i
≥
1
a
i
X
b
+
i
f = X + \sum _{i \geq 1} a_iX^{b+i}
. As a result, we obtain a necessary and sufficient condition for an automorphism to be “
b
b
-ramified”, having lower ramification numbers of the form
i
n
(
f
)
=
b
(
1
+
⋯
+
p
n
)
i_n(f) = b(1 + \cdots + p^n)
. This is a vast generalization of Nordqvist’s 2017 theorem on
2
2
-ramified power series, as well as the analogous result for minimally ramified power series which proved to be useful for arithmetic dynamics in a 2013 paper of Lindahl on linearization discs in
C
p
\mathbf {C}_p
and a 2015 result of Lindahl–Rivera-Letelier on optimal cycles over nonarchimedean fields of positive residue characteristic. The success of our computation is also promising progress towards a generalization of Lindahl–Nordqvist’s 2018 theorem bounding the norm of periodic points of
2
2
-ramified power series.