Sr Examen

Otras calculadoras

log3(x+4)/(5-x)<1 desigualdades

En la desigualdad la incógnita

Solución

Ha introducido [src]
/log(x + 4)\    
|----------|    
\  log(3)  /    
------------ < 1
   5 - x        
$$\frac{\frac{1}{\log{\left(3 \right)}} \log{\left(x + 4 \right)}}{5 - x} < 1$$
(log(x + 4)/log(3))/(5 - x) < 1
Solución detallada
Se da la desigualdad:
$$\frac{\frac{1}{\log{\left(3 \right)}} \log{\left(x + 4 \right)}}{5 - x} < 1$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$\frac{\frac{1}{\log{\left(3 \right)}} \log{\left(x + 4 \right)}}{5 - x} = 1$$
Resolvemos:
$$x_{1} = \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
$$x_{1} = \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
Las raíces dadas
$$x_{1} = \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
son puntos de cambio del signo de desigualdad en las soluciones.
Primero definámonos con el signo hasta el punto extremo izquierdo:
$$x_{0} < x_{1}$$
Consideremos, por ejemplo, el punto
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$- \frac{1}{10} + \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
=
$$- \frac{1}{10} + \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
lo sustituimos en la expresión
$$\frac{\frac{1}{\log{\left(3 \right)}} \log{\left(x + 4 \right)}}{5 - x} < 1$$
$$\frac{\frac{1}{\log{\left(3 \right)}} \log{\left(\left(- \frac{1}{10} + \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}\right) + 4 \right)}}{5 - \left(- \frac{1}{10} + \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}\right)} < 1$$
     /39   -log(81) + W(log(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227))\      
  log|-- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|      
     \10                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  log(3)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              /      
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- < 1
/51   -log(81) + W(log(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227))\           
|-- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|*log(3)    
\10                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  log(3)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              /           

significa que la solución de la desigualdad será con:
$$x < \frac{- \log{\left(81 \right)} + W\left(\log{\left(15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826949787930561330768130940971342651498914747987903017936839366686681222858853212428390499179112260835999559081805771312604025295439082557215698027337358383758012148589502083748215403098007878995911835889729355019007999648624818474775244389973945623504736442334340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178027984259354275578627111015392093577703217842246757715993850527863143440137825302954400096599965422035350068885003919811126843083535495234137589102455390614147745453121569003468531097431528705505762776585634579969292789571943150663200583121057376633971559508145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600430947255850771152764992919320215061847218258666628853530235012194712957400384839776451713368743915557078445061496138530357561367254529501546194141026743692552770867530443497697863635747556324459847110054346253217411309820943763589568070626933220130999528465911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740336618389165874799967876888281848913327759470167768279402682276707870081224732274384659249880078341650469661298082124051010731079314524349989388847576030971007806934004658380045876439915172218071407398096425454863499964175936045588899511100818127296423649675861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663530963320404345804119023110188753228948399337925324541338866774767148916824570033330260935113206834204238946077142955428600706271826005072958108100916095852989600626381105886901811561810802820260654105888681595530534070524243859292040849898489759577425880929604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113012016059028252949251444370511016864338540421007357077318071754263259398776843989268150427952995598033652815480803298792193004600028845636323440783769489575586689253910521580631176759695926429858708622527151950398108778525193593810341416763770438316694501847590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227074102940207034948505153392457242087232988694897916918627938886485340394230939699631804266400986148520789113998942104474638515790497298177180948117347668881428380897994432629860113081048070903346286687397585575637777736565140091811959181405390636748958073464466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743037163479167095483637962017820862188917071553305789955126588684827797726211120735968197477850571316770150287165878389839672342545545460165773088511587169977051585969513304977545948135123659981533754846412899129174484606253824123635632075542515296604150671865907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534377310625210842978347522749998304053196752201754291357595866691031427438570488413436982159007252192702526115435650456773187187481565525939418031338645381854899072443064229271140086252730267748967711958180498611607049993203914690982677948315892617601093090131230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622919275401110086443810298346987303592255976821255980532657116421770907895216347078843396127764921952923456274228566429587332874013896763727661069379600730502195223315312967115751770637900246922470093827182690659231910787467937864884211138887041168975221581615809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788020887050644386589470775779265347762598603818475791916367797747391246095655602223800648036700788484402544656890674685922345400047918107273508338752592743072335213702513608098172675113664693724883548584507464227538749558370794862387028827830419122950052575201685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314460803725488542761282286616862144421242539811410033272661429024136968270536203686998930251635251487644468713748016989077058209715435551766851283841007354515875080796133195350862867811292109287044222663016132495315942566169106389856554513738407490597282746783788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051595394688910479451764010214199411507762270707265034786083018480608796302425087147470519889489244386430664752210390362287006968230507058193139036852298914671416942087177576681090814377516707134370882317576008149318881936452031196608278334775755046577502950933021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396753113179861275631311476164020022410909897096047882659825435994118092499814957541952576888465220038655008884016681944324249355478975098739325343679508671952394895274568060812616701676943632799462273012221044093036491711931096707953054190427584559563701369299915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977448494896238761106276216017093554774800358702525064349456062860973351236455491233817527801395721596013207705596404043685574770047503598972157262504250650678175156825959039067669604048677793575280169863812993448137961531867494531022322307558457523498158640533674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073277773490492738066740664233210622712025758414914994138448572388795293431684290457083049725442411657751355488741000711498603275992460151188320315459596313084020889138694290745331100704471573698128885305860616832779300092655903931011136454124012502834409464584844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368342322574760273664908273532986907239429047653543889522510964447987592981261101983587282354735843446222690200592988638558297753636554986441366606794955936586071815580897396383767600604085569719731573737409125886970183544850358570402595930779294342065149983567369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095580005265864191305047400324425093033774550254115358894420614619515347100102803281037017996606077734004318430367350135857295298071536709389058629981349687136967176897012968747553858384315571136066497653810844260192659295531264454812441067392610313006281638288464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382414327794347267353691404871790151620369607697138825652262120631169292673137912501811178631331399610362498415853358512253547803283191158568068992491263099466691721210739500678279216723933535624587388768862562772662698009033892252818207274654405513232040355227840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315933393124872129774808705567286065277119175281497113116191399734630378918950419509118629966509123869503823181113293719579137656793995668211103411950951209945959841659011610246278075282594644961723663161143100131743272928445813929292066905784590619042020261456588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148307981526710089000023125534884677547842617267248603022992807538410130517874955538544051977576102653815447444264202492183939898603932060420353022848930085515087277401926323754592706666858454166866319172043563014395332450824604323134628233189726259964817347699334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908694666333903059449195257534337904584653447152323827534014839633499472257104361719724906367789161563299205371722026998500308018010075330834230534362713963736494532621621937023777014125258365426401228559632260828853278237413096763866484025677274728539662969956447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599915166073401089668033866547334467420905300410309064838693758551618802141617224288315773463395943125049927438541252450205809247513836038150781515868192120377789747366699247103946722211891432646926889280180230599077124238110117484565756420575601013309061371431336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300527618656246658985174074848827797331444775036875852788669773352524856332905999078147589323286881477011899630461766079762698421532037472927539573021435214796424840419897337784019266253645162639684922609238057521564433762094003846822425260538637704370058723047408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645131291677580454185880097800510818762686617859227 \right)}\right)}{\log{\left(3 \right)}}$$
 _____          
      \    
-------ο-------
       x1