feat(analysis/liouville/liouville_constant): develop some API for Liouville (#8005)
feat(analysis/liouville/liouville_constant): develop some API for Liouville (#8005)

Proof of some inequalities for Liouville numbers.





leanprover-community/mathlib,leanprover-community/mathlib