8 3 1 ---------- >= --------- + --------- log(216*x) log(28*x) log(22*x)
8/log(216*x) >= 3/log(28*x) + 1/log(22*x)
/ / _______________________________________________________________________________________________________ \ _______________________________________________________________________________________________________ \ | | / 2 2 2 | / 2 2 2 | | | -\/ 25*log (22) + 49*log (28) + 144*log (6) - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) | \/ 25*log (22) + 49*log (28) + 144*log (6) - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) | | | ------------------------------------------------------------------------------------------------------------ | ---------------------------------------------------------------------------------------------------------- | | | ___ 3/8 8 ____ 8 | ___ 3/8 8 ____ 8 | | |3*\/ 3 *11 *\/ 14 *e | 3*\/ 3 *11 *\/ 14 *e | Or|And(1/216 < x, x < 1/28), And|---------------------------------------------------------------------------------------------------------------------------------- <= x, x < 1/22|, x = 0, -------------------------------------------------------------------------------------------------------------------------------- <= x| \ \ 154 / 154 /
(x = 0))∨((1/216 < x)∧(x < 1/28))∨(3*sqrt(3)*11^(3/8)*14^(1/8)*exp(sqrt(25*log(22)^2 + 49*log(28)^2 + 144*log(6)^2 - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22))/8)/154 <= x)∨((x < 1/22)∧(3*sqrt(3)*11^(3/8)*14^(1/8)*exp(-sqrt(25*log(22)^2 + 49*log(28)^2 + 144*log(6)^2 - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22))/8)/154 <= x)
_______________________________________________________________________________________________________ _______________________________________________________________________________________________________ / 2 2 2 / 2 2 2 -\/ 25*log (22) + 49*log (28) + 144*log (6) - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) \/ 25*log (22) + 49*log (28) + 144*log (6) - 120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) ------------------------------------------------------------------------------------------------------------ ---------------------------------------------------------------------------------------------------------- ___ 3/8 8 ____ 8 ___ 3/8 8 ____ 8 3*\/ 3 *11 *\/ 14 *e 3*\/ 3 *11 *\/ 14 *e {0} U (1/216, 1/28) U [----------------------------------------------------------------------------------------------------------------------------------, 1/22) U [--------------------------------------------------------------------------------------------------------------------------------, oo) 154 154
x in Union(FiniteSet(0), Interval.open(1/216, 1/28), Interval.Ropen(3*11^(3/8)*14^(1/8)*sqrt(3)*exp(-sqrt(-120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) + 25*log(22)^2 + 144*log(6)^2 + 49*log(28)^2)/8)/154, 1/22), Interval(3*11^(3/8)*14^(1/8)*sqrt(3)*exp(sqrt(-120*log(6)*log(28) - 58*log(22)*log(28) + 24*log(6)*log(22) + 25*log(22)^2 + 144*log(6)^2 + 49*log(28)^2)/8)/154, oo))