The Dynamical System Generated by the 3n+1 Function by G.J. Wirsching