theorem :: LIOUVIL1:45
( 1 / 10 < Liouville_constant & Liouville_constant <= (10 / 9) - (1 / 10) )