<img width="571" height="711" alt="Image" src="https://github.com/user-attachments/assets/e08f6896-6d06-4a0f-8bc8-1b6c9a6cebcb" /> reference from [LeCam and Yang Asymptotics in Statistics.pdf](https://leanprover.zulipchat.com/user_uploads/3121/yZocotZpy3rNlMSl3myBC3xH/LeCam-and-Yang-Asymptotics-in-Statistics.pdf) Chapter 3.1 (Definition 1+ Theorem 1)
reference from LeCam and Yang Asymptotics in Statistics.pdf Chapter 3.1 (Definition 1+ Theorem 1)