Show that there is a certain ellipsoidal region E of the form such that all trajectories of the Lorenz equations eventually enter E.
a) Prove the existence of the ellipsoidal region
b) Demonstrate the convergence of trajectories to E
c) Explore different parameter values for E
d) Investigate alternative attractor shapes