 Frobenius-corrected logarithm

Assume $K_{\mathfrak{p}}={\mathbb{Q}}_p$, $p>2$, $f(t)\in {\mathbb{Z}}_p[[t]{]}^{\times }$, and $[\pi ]t\equiv t^p(\mathrm{mod}p)$. Then the displayed ratio lies in $1+p{\mathbb{Z}}_p[[t]]$, so its logarithm divided by $p$ is integral. A formal-group isomorphism over the completed unramified coefficient ring transfers it to an integral Amice transform. A norm relation makes the corresponding p-adic measure supported on units. Its $k$th moment has the Euler correction $1-{\pi }^k/p$.