Solution (source code)

= Solution

Since
$$
c_pc_g=c^2,
$$
the phase speed is always larger than the group speed for nonzero finite $k$. Wave crests therefore move faster than the packet envelope.