Interpreting the Bokstedt smash product as the norm

This note compares two models of the equivariant homotopy type of the smash powers of a spectrum, namely the “Bokstedt smash product” and the Hill-Hopkins-Ravenel norm.