The first Thetad--champions p and the rounded up values thetad(p) .

If p and q are two consecutives champions, we have

thetad(p) = (log^2 q)  \times  (1-theta(*q)/q )
where *q denotes the previous prime of q.

For x satisfying p <= x < q <e have thetad(x) = thetad(p).

And for x <> 1  1 - thetad(x)/log^2 x   <= theta(x)/x 

[      1,   3.964808517340104513],
[     59,   3.850386079801083226],
[     97,   3.813283516507628418],
[    223,   3.588326207210800179],
[    227,   3.488611466022609269],
[    347,   3.220903348063986992],
[    557,   3.174405956082250475],
[    563,   3.127883432280312228],
[    569,   2.989176643281754692],
[    587,   2.942595664597701849],
[    593,   2.896012902268626812],
[    599,   2.868690651066868324],
[   1423,   2.742320845188787628],
[   1427,   2.545151907150562878],
[   1429,   2.419670925120756396],
[   1433,   2.382940650296521142],
[   1447,   2.297148616367890460],
[   1973,   2.287252474719181041],
[   2657,   2.168327300120739408],
[   3299,   2.046008809394767321],
[   3301,   2.015398714823492548],
[   3449,   2.009077850109732745],
[   3457,   1.927728752822972265],
[   3461,   1.927470689042243556],
[   3511,   1.914640714115735673],
[   3527,   1.862807523631138383],
[   5381,   1.825716140943792193],
[   5387,   1.788673180020032484],
[   5393,   1.751678512602335631],
[   5399,   1.741573498370061402],
[   5407,   1.704657719785926196],
[   5413,   1.680382923218206116],
[   7451,   1.667865984675927566],
[   7477,   1.614848953215007419],
[   7481,   1.582805526002244957],
[   7487,   1.556461864852754150],
[  11777,   1.501243447969047058],
[  11779,   1.460761777118782774],
[  11783,   1.453426754166152846],
[  11801,   1.427707615102740280],
[  11807,   1.402005301825952354],
[  11813,   1.391139878089031630],
[  11897,   1.372838575834685582],
[  11923,   1.362142605461137458],
[  14387,   1.356309673699122648],
[  19373,   1.336504690087178615],
[  19379,   1.296810641483090297],
[  19381,   1.277368708311521409],
[  19417,   1.247670502616986586],
[  19421,   1.208041384440350518],
[  19423,   1.178360337641433142],
[  19427,   1.152038757399109371],
[  19681,   1.132552267993578653],
[  19697,   1.114652187760546750],
[  19913,   1.109460643250062201],
[  20873,   1.093477371195333392],
[  31957,   1.093039647240035998],
[  32051,   1.078183127761263001],
[  32057,   1.050006390964886933],
[  32059,   1.041409685231876312],
[  32297,   1.013379106515085167],
[  32299,   .991976476609160052],
[  32303,   .982303531927749295],
[  32321,   .954290239868244290],
[  32323,   .949738334910413185],
[  32353,   .934984313613054591],
[  32359,   .913615397416942532],
[  32363,   .898869440643034313],
[  32369,   .895206463431822104],
[  40751,   .889422773316548875],
[  40813,   .876567835810966796],
[  40819,   .866777307590467611],
[  47269,   .864756767887131309],
[  47279,   .857865682679036611],
[  47287,   .853527732428050221],
[  47491,   .844394132666266394],
[  48463,   .842358678185840007],
[  48473,   .836382492913010376],
[  48731,   .832306984262292045],
[  48751,   .832026878854668765],
[  69991,   .822800295316777201],
[  69997,   .810037922459065617],
[  70001,   .806209275786654953],
[  70111,   .796994441833821243],
[  70117,   .787559585782799917],
[  70841,   .771399426262196563],
[  70843,   .762247041255476139],
[  70849,   .754454901058544773],
[  70867,   .752310909839603603],
[  70877,   .747840581390605423],
[  88789,   .737001976109772875],
[  88793,   .729074672556893538],
[  88799,   .715326950781501557],
[  88801,   .707401312247451273],
[  88807,   .696565724373857317],
[  88811,   .694924045267004371],
[  88993,   .684104549833866890],
[  88997,   .676191836298320729],
[  89003,   .668279904361543822],
[  89009,   .667051487822929720],
[  89363,   .662056947327447204],
[  89371,   .659959230334195113],
[  89381,   .652069656933083470],
[  89387,   .646725077117093268],
[ 119549,   .637133030354177806],
[ 119611,   .631499476253373693],
[ 119653,   .624687680423389429],
[ 120551,   .618190001924604191],
[ 120557,   .612663039962319679],
[ 175621,   .610910081616587530],
[ 175631,   .607306641731722196],
[ 175663,   .607110657585597790],
[ 175687,   .604278275448587830],
[ 175829,   .600873133571941918],
[ 175837,   .595814876659509861],
[ 175843,   .595422359968127034],
[ 175891,   .593376518791270560],
[ 175937,   .585015063367811093],
[ 175939,   .583264568072621679],
[ 175949,   .583166754570917261],
[ 175961,   .579372963848818921],
[ 176017,   .572666628326793728],
[ 176021,   .569167557455642636],
[ 176041,   .568652241462973452],
[ 177883,   .561996216486671890],
[ 177887,   .553702565535791421],
[ 177889,   .550499493560964959],
[ 178067,   .550289972486975605],
[ 178091,   .549290900223747772],
[ 178393,   .547232993181273482],
[ 178439,   .542944017802529688],
[ 181711,   .537997756325296096],
[ 181717,   .534846240255654643],
[ 181871,   .530468644652168951],
[ 302831,   .524879161276269922],
[ 302833,   .520338824871751264],
[ 302837,   .516847672696704607],
[ 302843,   .515472361942369457],
[ 302891,   .515128531040842349],
[ 302903,   .511637991538086080],
[ 302909,   .511311937144777492],
[ 302959,   .509919442318917025],
[ 302969,   .504331976328308408],
[ 302971,   .502377167179831363],
[ 303271,   .502033479324032971],
[ 303283,   .497498287564480669],
[ 303287,   .494011097067476007],
[ 303293,   .492666904046915006],
[ 312197,   .487203504709356338],
[ 312199,   .482762909443993163],
[ 312203,   .479345153731434972],
[ 312209,   .473881983344223314],
[ 312211,   .470464431942487474],
[ 312217,   .470115249253926620],
[ 312229,   .465675148328602708],
[ 312233,   .463280645123565653],
[ 312241,   .461908960690017066],
[ 312251,   .460991820332836794],
[ 313543,   .457584534196199745],
[ 313549,   .453158158748353505],
[ 313553,   .450770265289985271],
[ 313561,   .447363279252004061],
[ 313567,   .443795902127552471],
[ 315349,   .443445443614045448],
[ 315361,   .443094988292108713],
[ 315373,   .443003203472966015],
[ 463181,   .442948432761380918],
[ 463207,   .440354715531473656],
[ 463213,   .437761050442313670],
[ 463219,   .437367149973082867],
[ 463231,   .434773588728918099],
[ 463237,   .433646533578090706],
[ 463247,   .432465136225127474],
[ 463283,   .430605010526560300],
[ 463291,   .430278573891754098],
[ 463447,   .428760216958135129],
[ 467471,   .424728097486701403],
[ 467473,   .421423654437380360],
[ 467477,   .417391600691912652],
[ 467479,   .416997859078598965],
[ 467491,   .414421213538919436],
[ 467497,   .411844619334345513],
[ 467503,   .411057388194958632],
[ 467527,   .409089468403860787],
[ 467587,   .408302346238474747],
[ 467611,   .405726261726401486],
[ 467617,   .404605257972904892],
[ 467627,   .400574243515084174],
[ 467629,   .397270787448218715],
[ 467633,   .395422435209456415],
[ 467641,   .394301648098765463],
[ 467651,   .391981189202248106],
[ 467867,   .387951784684457622],
[ 467869,   .386831418204523210],
[ 467879,   .382802110502308134],
[ 467881,   .382409094533436445],
[ 467893,   .379107143021925516],
[ 467897,   .378872390132839144],
[ 468001,   .377752353057853041],
[ 468011,   .377300695438277783],
[ 468049,   .376415964949175573],
[ 468439,   .376297321719624702],
[ 468491,   .374332872055811861],
[ 468551,   .374273506617253178],
[ 468577,   .372616955191123040],
[ 470077,   .370259538779502241],
[ 470149,   .366969353919577151],
[ 470153,   .365398151637303239],
[ 470201,   .364395907986596502],
[ 486037,   .362551828208395717],
[ 486281,   .362468726817466315],
[ 486307,   .359963459511677078],
[ 486313,   .358866081758060752],
[ 486323,   .357433967746588262],
[ 643847,   .354272365665843291],
[ 643849,   .353496932316283544],
[ 643873,   .353449121292123989],
[ 644047,   .350842914634886337],
[ 644051,   .350234608594189491],
[ 644089,   .349846971539343524],
[ 644101,   .347795549646069619],
[ 644107,   .346853357292045853],
[ 644117,   .344801995562449519],
[ 644123,   .342849183274041044],
[ 678157,   .342464622626568078],
[ 678169,   .342096392418587134],
[ 678329,   .341711858866160429],
[ 678341,   .341473520477637267],
[ 678367,   .339789302267464607],
[ 678401,   .337812765941076784],
[ 678407,   .335016613356518995],
[ 757993,   .334418695016354957],
[ 758099,   .334090867509347353],
[ 758179,   .333231619268584615],
[ 758189,   .332855143655902824],
[ 758201,   .332584957632944224],
[ 758227,   .330277532390759367],
[ 758231,   .329148263088808718],
[ 758267,   .329063009409926151],
[ 758687,   .328686642360245576],
[ 758699,   .327345299102154724],
[ 758707,   .325038988837635477],
[ 758711,   .323895872486164821],
[ 759547,   .323081051838483240],
[1090697,   .322740913810290090],
[1090709,   .321380414443906579],
[1090757,   .320442680622654461],
[1090877,   .318333322301707274],
[1090879,   .316577828058805370],
[1090883,   .315176202503623299],
[1090889,   .313066870366116812],
[1090891,   .311665268845590217],
[1090897,   .311325259303053816],
[1090909,   .310631398211502907],
[1090919,   .309583690957710670],
[1090927,   .308889850417095035],
[1090937,   .306780599810849062],
[1090939,   .306100686310287257],
[1090963,   .304727007985967500],
[1090997,   .303339466578636658],
[1091017,   .301584187112053154],
[1091021,   .299940514574429958],
[1091137,   .299246829989485395],
[1091147,   .297137907981094812],
[1091149,   .296444249972575006],
[1091159,   .294745109388145317],
[1091219,   .293357894984277265],
[1091239,   .291616925280334410],
[1091257,   .289861974177811920],
[1091261,   .288508529340451291],
[1092019,   .287544662059840511],
[1092821,   .286144987655999410],
[1092827,   .285465858753045702],
[1092851,   .284447199874889765],
[1092887,   .283047601726191596],
[1092893,   .282001368368244558],
[1092901,   .280753938613924494],
[1093061,   .278927802538768303],
[1099247,   .277585295509031634],
[1099309,   .277310375068493301],
[1099391,   .275578073340022765],
[1099409,   .274838688567486445],
[1101299,   .273798002571640838],
[1101307,   .273459434466732084],
[1101319,   .272807288530362314],
[1101371,   .271415623122927253],
[1101377,   .271089583651582865],
[1101403,   .269346921920757334],
[1101407,   .267749948449503452],
[1146661,   .267076960714942854],
[1146671,   .266748411961830647],
[1146697,   .265397181430041803],
[1146703,   .264045962124140352],
[1146709,   .263728107531386953],
[1146763,   .263055186043114942],
[1146773,   .262496940015254865],
[1148921,   .262163366471853753],
[1148933,   .261496232581978346],
[1148957,   .261346596006972587],
[1149487,   .260273868820716001],
[1155601,   .259664394591371663],
[1155821,   .257647304221981344],
[1155823,   .256324056234489543],
[1155899,   .255237760602934064],
[1772201,   .254490634623411283],
[1772209,   .253975148611747961],
[1772291,   .253753958535688276],
[1773571,   .253240458522930864],
[1773581,   .252260536878796736],
[1773587,   .251372653563626840],
[1773637,   .250159551182576645],
[1773641,   .248713242938111232],
[1773643,   .248619156335763223],
[1773671,   .247639285045287298],
[1773677,   .246609989464670271],
[1777687,   .246509033169531552],
[1777859,   .245984538538259551],
[1790203,   .245011397837970979],
[1790209,   .243806906872909680],
[1790213,   .243105659890903064],
[1790279,   .242826604105924090],
[1790291,   .241390810631450943],
[1790293,   .240880417423355284],
[1790303,   .239907331795658080],
[1790309,   .239566407484812556],
[1790479,   .238777039291594478],
[1790501,   .237804039599234562],
[1790507,   .237756357781752622],
[1790521,   .237486542942360241],
[1797769,   .236833587786247447],
[1797821,   .235979381537607255],
[1798001,   .234548402281845791],
[1798003,   .233578429663593419],
[1798009,   .233473174282687796],
[1798109,   .233425207270154862],
[1798123,   .232224796307176192],
[1798127,   .231107287551659835],
[1822939,   .230553821113890821],
[1822963,   .229723639495775177],
[1822999,   .229219135768381805],
[1823009,   .227803510251104346],
[1823011,   .227299017705822488],
[1823021,   .227022310232886591],
[1823033,   .226973384618057392],
[1823047,   .226427908807958104],
[1842067,   .225475242197135466],
[1842073,   .224536382895813939],
[1842469,   .223358163327983383],
[1842473,   .222405661276654485],
[1842479,   .221634804854245850],
[1851253,   .220685665738446707],
[1851259,   .220585732281225711],
[1851287,   .220310976784577845],
[1851299,   .218912280300533871],
[1851301,   .218637535088016433],
[1851313,   .217688427194473851],
[1851319,   .217188901846467755],
[1851329,   .216464592524888916],
[1851337,   .216189863396600674],
[1851349,   .215690350173095791],
[1851359,   .215415626844969985],
[1851371,   .214416619685841134],
[1851391,   .213917121925080015],
[1851401,   .213717411749498169],
[1851457,   .213193070098745424],
[1851539,   .212337810726486390],
[2439881,   .211742556274135068],
[2439889,   .210792982669627129],
[2439893,   .210410395446200061],
[2439977,   .210169475281847627],
[2439989,   .209390193083306154],
[2440201,   .208972145647649219],
[2440211,   .208433862940968309],
[2484509,   .208369520636110623],
[2484523,   .208002087486790235],
[2484563,   .207240116106611235],
[2484569,   .206413814217029006],
[2484589,   .206285147735466382],
[2484617,   .206027816678945935],
[2484673,   .205617476109538962],
[2522357,   .205613615598250555],
[2522593,   .205577056479925540],
[3065393,   .205301439648123812],
[3065449,   .205144755520763876],
[3592571,   .205131664900830799],
[3593311,   .204808130446980481],
[3593321,   .203977725728779383],
[3593323,   .203837535682893425],
[3593351,   .203770166402698748],
[3593501,   .202939795094304958],
[3593503,   .202454606234139946],
[3593873,   .202441126970240129],
[3593903,   .202371036585768465],
[3593917,   .202047545440600760],
[3593927,   .201707746872862790],
[3594541,   .201384295050518617],
[3594551,   .201160541805918979],
[3594623,   .200710416584168178],
[3594631,   .200386972608485974],