Happy proving. May your likelihoods be log-concave and your estimators unbiased.
The "simple and infinite joy" is the moment you stop memorizing and start seeing that statistics is just applied probability with a decision rule. After that, you can never un-see it. Happy proving
You may also try Logicly in your browser. No download required.