Counterexamples to the conjecture, that f(2*p)=min{f(p)+2, f(2p-1)+1}:
f(2*5139300347)=72 < 2*f(5139300347)=73 f(2*5139300347-1)+1=73
f(2*7748861399)=72 < 2*f(7748861399)=73 f(2*7748861399-1)+1=73
f(2*8524048067)=73 < 2*f(8524048067)=74 f(2*8524048067-1)+1=74
f(2*10363463819)=74 < 2*f(10363463819)=75 f(2*10363463819-1)+1=75
f(2*10880201627)=74 < 2*f(10880201627)=75 f(2*10880201627-1)+1=75
f(2*12949888751)=74 < 2*f(12949888751)=75 f(2*12949888751-1)+1=75
f(2*15664684031)=75 < 2*f(15664684031)=76 f(2*15664684031-1)+1=76
f(2*16031393999)=76 < 2*f(16031393999)=77 f(2*16031393999-1)+1=77
f(2*16400847059)=75 < 2*f(16400847059)=76 f(2*16400847059-1)+1=76
f(2*16434547271)=75 < 2*f(16434547271)=76 f(2*16434547271-1)+1=76
f(2*16548072767)=75 < 2*f(16548072767)=76 f(2*16548072767-1)+1=76
f(2*22778889929)=76 < 2*f(22778889929)=77 f(2*22778889929-1)+1=77
f(2*23253670079)=76 < 2*f(23253670079)=77 f(2*23253670079-1)+1=77
f(2*23269613327)=76 < 2*f(23269613327)=77 f(2*23269613327-1)+1=77
f(2*24775428599)=77 < 2*f(24775428599)=78 f(2*24775428599-1)+1=78
f(2*42372443447)=78 < 2*f(42372443447)=79 f(2*42372443447-1)+1=79
f(2*44497645811)=78 < 2*f(44497645811)=79 f(2*44497645811-1)+1=79
f(2*46715524127)=78 < 2*f(46715524127)=79 f(2*46715524127-1)+1=79
f(2*46748937023)=78 < 2*f(46748937023)=79 f(2*46748937023-1)+1=79
f(2*49754835719)=78 < 2*f(49754835719)=79 f(2*49754835719-1)+1=79
f(2*55875353867)=78 < 2*f(55875353867)=79 f(2*55875353867-1)+1=79
f(2*56525374667)=79 < 2*f(56525374667)=80 f(2*56525374667-1)+1=80
f(2*57386604347)=79 < 2*f(57386604347)=80 f(2*57386604347-1)+1=80
f(2*58328815679)=79 < 2*f(58328815679)=80 f(2*58328815679-1)+1=80
f(2*58436920799)=80 < 2*f(58436920799)=81 f(2*58436920799-1)+1=81
f(2*61055111087)=79 < 2*f(61055111087)=80 f(2*61055111087-1)+1=80
f(2*69807954239)=79 < 2*f(69807954239)=80 f(2*69807954239-1)+1=80
f(2*70008583247)=79 < 2*f(70008583247)=80 f(2*70008583247-1)+1=80
f(2*70527271499)=79 < 2*f(70527271499)=80 f(2*70527271499-1)+1=80
f(2*70560682559)=80 < 2*f(70560682559)=81 f(2*70560682559-1)+1=81
f(2*72319015799)=79 < 2*f(72319015799)=80 f(2*72319015799-1)+1=80
f(2*72327795389)=79 < 2*f(72327795389)=80 f(2*72327795389-1)+1=80
f(2*72898696979)=80 < 2*f(72898696979)=81 f(2*72898696979-1)+1=81
f(2*74595273317)=79 < 2*f(74595273317)=80 f(2*74595273317-1)+1=80
f(2*74643104087)=79 < 2*f(74643104087)=80 f(2*74643104087-1)+1=80
f(2*79748569367)=80 < 2*f(79748569367)=81 f(2*79748569367-1)+1=81
f(2*80770023053)=80 < 2*f(80770023053)=81 f(2*80770023053-1)+1=81
f(2*85242667319)=80 < 2*f(85242667319)=81 f(2*85242667319-1)+1=81
f(2*85268381039)=80 < 2*f(85268381039)=82 f(2*85268381039-1)+1=81
f(2*85892637167)=80 < 2*f(85892637167)=81 f(2*85892637167-1)+1=81
f(2*85893275771)=80 < 2*f(85893275771)=81 f(2*85893275771-1)+1=81
f(2*93059836411)=80 < 2*f(93059836411)=81 f(2*93059836411-1)+1=81
f(2*93301642367)=80 < 2*f(93301642367)=81 f(2*93301642367-1)+1=81
f(2*94038221177)=80 < 2*f(94038221177)=81 f(2*94038221177-1)+1=81
f(2*99216675647)=80 < 2*f(99216675647)=81 f(2*99216675647-1)+1=81
f(2*104618179871)=80 < 2*f(104618179871)=81 f(2*104618179871-1)+1=81
f(2*110003769791)=81 < 2*f(110003769791)=82 f(2*110003769791-1)+1=82
f(2*111591768599)=80 < 2*f(111591768599)=81 f(2*111591768599-1)+1=81
f(2*111835854863)=80 < 2*f(111835854863)=81 f(2*111835854863-1)+1=81
f(2*112697113391)=80 < 2*f(112697113391)=82 f(2*112697113391-1)+1=81
f(2*123406652879)=82 < 2*f(123406652879)=83 f(2*123406652879-1)+1=83
f(2*125041142159)=82 < 2*f(125041142159)=83 f(2*125041142159-1)+1=83
f(2*125170882919)=81 < 2*f(125170882919)=82 f(2*125170882919-1)+1=82
f(2*127268135837)=80 < 2*f(127268135837)=81 f(2*127268135837-1)+1=81
f(2*127859039207)=81 < 2*f(127859039207)=82 f(2*127859039207-1)+1=82
f(2*128378671847)=82 < 2*f(128378671847)=83 f(2*128378671847-1)+1=83
f(2*130190028587)=80 < 2*f(130190028587)=81 f(2*130190028587-1)+1=81
f(2*130219524899)=81 < 2*f(130219524899)=82 f(2*130219524899-1)+1=82
f(2*133375482701)=81 < 2*f(133375482701)=82 f(2*133375482701-1)+1=82
f(2*136824525881)=81 < 2*f(136824525881)=82 f(2*136824525881-1)+1=82
f(2*137723204987)=81 < 2*f(137723204987)=82 f(2*137723204987-1)+1=82
f(2*139503862871)=81 < 2*f(139503862871)=82 f(2*139503862871-1)+1=82
f(2*140849669087)=81 < 2*f(140849669087)=82 f(2*140849669087-1)+1=82
f(2*141444352727)=81 < 2*f(141444352727)=82 f(2*141444352727-1)+1=82
f(2*143560829879)=82 < 2*f(143560829879)=83 f(2*143560829879-1)+1=83
f(2*149070796559)=82 < 2*f(149070796559)=83 f(2*149070796559-1)+1=83
f(2*149076176759)=82 < 2*f(149076176759)=83 f(2*149076176759-1)+1=83
f(2*150156625139)=81 < 2*f(150156625139)=82 f(2*150156625139-1)+1=82
f(2*150850490327)=82 < 2*f(150850490327)=83 f(2*150850490327-1)+1=83
f(2*151544544479)=82 < 2*f(151544544479)=83 f(2*151544544479-1)+1=83
f(2*152241999731)=82 < 2*f(152241999731)=83 f(2*152241999731-1)+1=83
f(2*153273416039)=82 < 2*f(153273416039)=83 f(2*153273416039-1)+1=83
f(2*159523975799)=82 < 2*f(159523975799)=83 f(2*159523975799-1)+1=83
f(2*159715292687)=82 < 2*f(159715292687)=83 f(2*159715292687-1)+1=83
f(2*162752479919)=81 < 2*f(162752479919)=82 f(2*162752479919-1)+1=82
f(2*166046349149)=82 < 2*f(166046349149)=83 f(2*166046349149-1)+1=83
f(2*167340773879)=82 < 2*f(167340773879)=83 f(2*167340773879-1)+1=83
f(2*167495264819)=81 < 2*f(167495264819)=82 f(2*167495264819-1)+1=82
f(2*167533085339)=81 < 2*f(167533085339)=82 f(2*167533085339-1)+1=82
f(2*169392302159)=82 < 2*f(169392302159)=83 f(2*169392302159-1)+1=83
f(2*169690679783)=82 < 2*f(169690679783)=83 f(2*169690679783-1)+1=83
f(2*169824571019)=82 < 2*f(169824571019)=83 f(2*169824571019-1)+1=83
f(2*170500889807)=82 < 2*f(170500889807)=83 f(2*170500889807-1)+1=83
f(2*170658725849)=82 < 2*f(170658725849)=83 f(2*170658725849-1)+1=83
f(2*174019027139)=82 < 2*f(174019027139)=83 f(2*174019027139-1)+1=83
f(2*174349583477)=82 < 2*f(174349583477)=83 f(2*174349583477-1)+1=83
f(2*178402357547)=82 < 2*f(178402357547)=83 f(2*178402357547-1)+1=83
f(2*178415109827)=82 < 2*f(178415109827)=83 f(2*178415109827-1)+1=83
f(2*185316785999)=82 < 2*f(185316785999)=83 f(2*185316785999-1)+1=83
f(2*186220903823)=82 < 2*f(186220903823)=83 f(2*186220903823-1)+1=83
f(2*186473878847)=82 < 2*f(186473878847)=83 f(2*186473878847-1)+1=83
f(2*188385861239)=83 < 2*f(188385861239)=84 f(2*188385861239-1)+1=84
f(2*189871914527)=82 < 2*f(189871914527)=83 f(2*189871914527-1)+1=83
f(2*189953228027)=82 < 2*f(189953228027)=83 f(2*189953228027-1)+1=83
f(2*190618414541)=83 < 2*f(190618414541)=84 f(2*190618414541-1)+1=84
f(2*190740559859)=82 < 2*f(190740559859)=83 f(2*190740559859-1)+1=83
f(2*195331969439)=83 < 2*f(195331969439)=84 f(2*195331969439-1)+1=84
f(2*197971896527)=82 < 2*f(197971896527)=83 f(2*197971896527-1)+1=83
f(2*199610038961)=82 < 2*f(199610038961)=83 f(2*199610038961-1)+1=83
f(2*207916340039)=83 < 2*f(207916340039)=84 f(2*207916340039-1)+1=84
f(2*208566412127)=83 < 2*f(208566412127)=84 f(2*208566412127-1)+1=84
f(2*209766937967)=82 < 2*f(209766937967)=83 f(2*209766937967-1)+1=83
f(2*212019715907)=83 < 2*f(212019715907)=84 f(2*212019715907-1)+1=84
f(2*215664758567)=83 < 2*f(215664758567)=84 f(2*215664758567-1)+1=84
f(2*215699947487)=83 < 2*f(215699947487)=84 f(2*215699947487-1)+1=84
f(2*217577948327)=83 < 2*f(217577948327)=84 f(2*217577948327-1)+1=84
f(2*220844841461)=83 < 2*f(220844841461)=84 f(2*220844841461-1)+1=84
f(2*220865554079)=82 < 2*f(220865554079)=83 f(2*220865554079-1)+1=83
f(2*220910087159)=83 < 2*f(220910087159)=84 f(2*220910087159-1)+1=84
f(2*221101157087)=83 < 2*f(221101157087)=84 f(2*221101157087-1)+1=84
f(2*221930455031)=83 < 2*f(221930455031)=84 f(2*221930455031-1)+1=84
f(2*223929358811)=82 < 2*f(223929358811)=83 f(2*223929358811-1)+1=83
f(2*224620223669)=83 < 2*f(224620223669)=84 f(2*224620223669-1)+1=84
f(2*225230110451)=82 < 2*f(225230110451)=83 f(2*225230110451-1)+1=83
f(2*229390371647)=83 < 2*f(229390371647)=84 f(2*229390371647-1)+1=84
f(2*230958510317)=83 < 2*f(230958510317)=84 f(2*230958510317-1)+1=84
f(2*231712617113)=83 < 2*f(231712617113)=84 f(2*231712617113-1)+1=84
f(2*232519797791)=83 < 2*f(232519797791)=84 f(2*232519797791-1)+1=84
f(2*233759726927)=83 < 2*f(233759726927)=84 f(2*233759726927-1)+1=84
f(2*237345948871)=83 < 2*f(237345948871)=84 f(2*237345948871-1)+1=84
f(2*238938800579)=83 < 2*f(238938800579)=84 f(2*238938800579-1)+1=84
f(2*243716986691)=83 < 2*f(243716986691)=84 f(2*243716986691-1)+1=84
f(2*244166069159)=83 < 2*f(244166069159)=84 f(2*244166069159-1)+1=84
f(2*244243030607)=83 < 2*f(244243030607)=84 f(2*244243030607-1)+1=84
f(2*244285391069)=83 < 2*f(244285391069)=84 f(2*244285391069-1)+1=84
f(2*248078842919)=84 < 2*f(248078842919)=85 f(2*248078842919-1)+1=85
f(2*249552132191)=83 < 2*f(249552132191)=84 f(2*249552132191-1)+1=84
f(2*251457668747)=83 < 2*f(251457668747)=84 f(2*251457668747-1)+1=84
f(2*254535287921)=82 < 2*f(254535287921)=83 f(2*254535287921-1)+1=83
f(2*254885136479)=83 < 2*f(254885136479)=84 f(2*254885136479-1)+1=84
f(2*255116392229)=82 < 2*f(255116392229)=83 f(2*255116392229-1)+1=83
f(2*256559189687)=84 < 2*f(256559189687)=85 f(2*256559189687-1)+1=85
f(2*258037131887)=83 < 2*f(258037131887)=84 f(2*258037131887-1)+1=84
f(2*258152091623)=83 < 2*f(258152091623)=84 f(2*258152091623-1)+1=84
f(2*258639078239)=84 < 2*f(258639078239)=85 f(2*258639078239-1)+1=85
f(2*260609665319)=83 < 2*f(260609665319)=84 f(2*260609665319-1)+1=84
f(2*260636808827)=83 < 2*f(260636808827)=84 f(2*260636808827-1)+1=84
f(2*260757994463)=83 < 2*f(260757994463)=84 f(2*260757994463-1)+1=84
f(2*261294393851)=83 < 2*f(261294393851)=84 f(2*261294393851-1)+1=84
f(2*261989519867)=83 < 2*f(261989519867)=84 f(2*261989519867-1)+1=84
f(2*262089961037)=82 < 2*f(262089961037)=83 f(2*262089961037-1)+1=83
f(2*269852720147)=83 < 2*f(269852720147)=84 f(2*269852720147-1)+1=84
f(2*274916290643)=83 < 2*f(274916290643)=84 f(2*274916290643-1)+1=84
f(2*275420096891)=83 < 2*f(275420096891)=84 f(2*275420096891-1)+1=84
f(2*276057118907)=84 < 2*f(276057118907)=85 f(2*276057118907-1)+1=85
f(2*279122117311)=83 < 2*f(279122117311)=84 f(2*279122117311-1)+1=84
f(2*284216241941)=83 < 2*f(284216241941)=84 f(2*284216241941-1)+1=84
f(2*288464846939)=84 < 2*f(288464846939)=85 f(2*288464846939-1)+1=85
f(2*290542780799)=84 < 2*f(290542780799)=85 f(2*290542780799-1)+1=85
f(2*291292644887)=84 < 2*f(291292644887)=85 f(2*291292644887-1)+1=85
f(2*299408036237)=84 < 2*f(299408036237)=85 f(2*299408036237-1)+1=85
f(2*303101899343)=84 < 2*f(303101899343)=85 f(2*303101899343-1)+1=85
f(2*303465642191)=84 < 2*f(303465642191)=85 f(2*303465642191-1)+1=85
f(2*304986024719)=84 < 2*f(304986024719)=85 f(2*304986024719-1)+1=85
f(2*310807690511)=84 < 2*f(310807690511)=85 f(2*310807690511-1)+1=85
f(2*311483520659)=84 < 2*f(311483520659)=85 f(2*311483520659-1)+1=85
f(2*313229465629)=83 < 2*f(313229465629)=84 f(2*313229465629-1)+1=84
f(2*315783575207)=83 < 2*f(315783575207)=84 f(2*315783575207-1)+1=84
f(2*317325324077)=84 < 2*f(317325324077)=85 f(2*317325324077-1)+1=85
f(2*317720677679)=83 < 2*f(317720677679)=85 f(2*317720677679-1)+1=84
f(2*320799430439)=84 < 2*f(320799430439)=85 f(2*320799430439-1)+1=85
f(2*330688763711)=84 < 2*f(330688763711)=85 f(2*330688763711-1)+1=85
f(2*330814867247)=84 < 2*f(330814867247)=85 f(2*330814867247-1)+1=85
f(2*335310114527)=84 < 2*f(335310114527)=85 f(2*335310114527-1)+1=85
f(2*335544496019)=83 < 2*f(335544496019)=84 f(2*335544496019-1)+1=84
f(2*335854784939)=84 < 2*f(335854784939)=85 f(2*335854784939-1)+1=85
f(2*337147248311)=84 < 2*f(337147248311)=85 f(2*337147248311-1)+1=85
f(2*338271772499)=84 < 2*f(338271772499)=85 f(2*338271772499-1)+1=85
f(2*339383940551)=84 < 2*f(339383940551)=85 f(2*339383940551-1)+1=85
f(2*339384661937)=84 < 2*f(339384661937)=85 f(2*339384661937-1)+1=85
f(2*339516131579)=84 < 2*f(339516131579)=85 f(2*339516131579-1)+1=85
f(2*340208069039)=84 < 2*f(340208069039)=85 f(2*340208069039-1)+1=85
f(2*340940898647)=84 < 2*f(340940898647)=85 f(2*340940898647-1)+1=85
f(2*340983118799)=84 < 2*f(340983118799)=85 f(2*340983118799-1)+1=85
f(2*344235864899)=84 < 2*f(344235864899)=85 f(2*344235864899-1)+1=85
f(2*345094465787)=84 < 2*f(345094465787)=85 f(2*345094465787-1)+1=85
f(2*346137529391)=85 < 2*f(346137529391)=86 f(2*346137529391-1)+1=86
f(2*347145508907)=83 < 2*f(347145508907)=84 f(2*347145508907-1)+1=84
f(2*348277468373)=84 < 2*f(348277468373)=85 f(2*348277468373-1)+1=85
f(2*348695219879)=84 < 2*f(348695219879)=85 f(2*348695219879-1)+1=85
f(2*349037202671)=84 < 2*f(349037202671)=85 f(2*349037202671-1)+1=85
f(2*349144784447)=84 < 2*f(349144784447)=85 f(2*349144784447-1)+1=85
f(2*351871072199)=84 < 2*f(351871072199)=85 f(2*351871072199-1)+1=85
f(2*352733724479)=84 < 2*f(352733724479)=85 f(2*352733724479-1)+1=85
f(2*353601125567)=84 < 2*f(353601125567)=85 f(2*353601125567-1)+1=85
f(2*355328451971)=84 < 2*f(355328451971)=85 f(2*355328451971-1)+1=85
f(2*355949397719)=85 < 2*f(355949397719)=86 f(2*355949397719-1)+1=86
f(2*359719924349)=84 < 2*f(359719924349)=85 f(2*359719924349-1)+1=85
f(2*364265981819)=85 < 2*f(364265981819)=86 f(2*364265981819-1)+1=86
f(2*366169019687)=84 < 2*f(366169019687)=85 f(2*366169019687-1)+1=85
f(2*366693493157)=83 < 2*f(366693493157)=84 f(2*366693493157-1)+1=84
f(2*370668145247)=84 < 2*f(370668145247)=85 f(2*370668145247-1)+1=85
f(2*371932714169)=84 < 2*f(371932714169)=85 f(2*371932714169-1)+1=85
f(2*372068021447)=84 < 2*f(372068021447)=85 f(2*372068021447-1)+1=85
f(2*373755420827)=85 < 2*f(373755420827)=86 f(2*373755420827-1)+1=86
f(2*377690365583)=84 < 2*f(377690365583)=85 f(2*377690365583-1)+1=85
f(2*381700148867)=84 < 2*f(381700148867)=85 f(2*381700148867-1)+1=85
f(2*381802891949)=82 < 2*f(381802891949)=83 f(2*381802891949-1)+1=83
f(2*383560518239)=85 < 2*f(383560518239)=86 f(2*383560518239-1)+1=86
f(2*383940884407)=84 < 2*f(383940884407)=85 f(2*383940884407-1)+1=85
f(2*390536604971)=83 < 2*f(390536604971)=84 f(2*390536604971-1)+1=84
f(2*391165820099)=84 < 2*f(391165820099)=85 f(2*391165820099-1)+1=85
f(2*391373616779)=85 < 2*f(391373616779)=86 f(2*391373616779-1)+1=86
f(2*391436618381)=84 < 2*f(391436618381)=85 f(2*391436618381-1)+1=85
f(2*391728420827)=84 < 2*f(391728420827)=85 f(2*391728420827-1)+1=85
f(2*392790917951)=85 < 2*f(392790917951)=86 f(2*392790917951-1)+1=86
f(2*396475407269)=85 < 2*f(396475407269)=86 f(2*396475407269-1)+1=86
f(2*397598664167)=84 < 2*f(397598664167)=85 f(2*397598664167-1)+1=85
f(2*397630986569)=84 < 2*f(397630986569)=85 f(2*397630986569-1)+1=85
f(2*397867290749)=84 < 2*f(397867290749)=85 f(2*397867290749-1)+1=85
f(2*398655697247)=84 < 2*f(398655697247)=85 f(2*398655697247-1)+1=85
f(2*398655808379)=84 < 2*f(398655808379)=85 f(2*398655808379-1)+1=85
f(2*402709190399)=86 < 2*f(402709190399)=87 f(2*402709190399-1)+1=87
f(2*404094716567)=85 < 2*f(404094716567)=86 f(2*404094716567-1)+1=86
f(2*404462158379)=85 < 2*f(404462158379)=86 f(2*404462158379-1)+1=86
f(2*405057130343)=85 < 2*f(405057130343)=86 f(2*405057130343-1)+1=86
f(2*406755641519)=85 < 2*f(406755641519)=86 f(2*406755641519-1)+1=86
f(2*409142350493)=84 < 2*f(409142350493)=85 f(2*409142350493-1)+1=85
f(2*409503463067)=85 < 2*f(409503463067)=86 f(2*409503463067-1)+1=86
f(2*413330768441)=85 < 2*f(413330768441)=86 f(2*413330768441-1)+1=86
f(2*414927387157)=84 < 2*f(414927387157)=85 f(2*414927387157-1)+1=85
f(2*418606362359)=84 < 2*f(418606362359)=85 f(2*418606362359-1)+1=85
f(2*418674181823)=84 < 2*f(418674181823)=85 f(2*418674181823-1)+1=85
f(2*418712650679)=85 < 2*f(418712650679)=86 f(2*418712650679-1)+1=86
f(2*419741407871)=84 < 2*f(419741407871)=85 f(2*419741407871-1)+1=85
f(2*419761597139)=85 < 2*f(419761597139)=86 f(2*419761597139-1)+1=86
f(2*420396997067)=85 < 2*f(420396997067)=86 f(2*420396997067-1)+1=86
f(2*420611902703)=84 < 2*f(420611902703)=85 f(2*420611902703-1)+1=85
f(2*420740432459)=84 < 2*f(420740432459)=86 f(2*420740432459-1)+1=85
f(2*420835435739)=85 < 2*f(420835435739)=86 f(2*420835435739-1)+1=86
f(2*422324211167)=84 < 2*f(422324211167)=86 f(2*422324211167-1)+1=85
f(2*426170394719)=85 < 2*f(426170394719)=86 f(2*426170394719-1)+1=86
f(2*429711600653)=85 < 2*f(429711600653)=86 f(2*429711600653-1)+1=86
f(2*434229863759)=85 < 2*f(434229863759)=86 f(2*434229863759-1)+1=86
f(2*434577463631)=85 < 2*f(434577463631)=86 f(2*434577463631-1)+1=86
f(2*438431791247)=85 < 2*f(438431791247)=86 f(2*438431791247-1)+1=86
f(2*440926909559)=85 < 2*f(440926909559)=86 f(2*440926909559-1)+1=86
f(2*441803788199)=85 < 2*f(441803788199)=86 f(2*441803788199-1)+1=86
f(2*442889127431)=85 < 2*f(442889127431)=86 f(2*442889127431-1)+1=86
f(2*447693348743)=85 < 2*f(447693348743)=86 f(2*447693348743-1)+1=86
f(2*447746739659)=85 < 2*f(447746739659)=86 f(2*447746739659-1)+1=86
f(2*448043248007)=85 < 2*f(448043248007)=86 f(2*448043248007-1)+1=86
f(2*450272687797)=85 < 2*f(450272687797)=86 f(2*450272687797-1)+1=86
f(2*451653371513)=84 < 2*f(451653371513)=85 f(2*451653371513-1)+1=85
f(2*451739470927)=85 < 2*f(451739470927)=86 f(2*451739470927-1)+1=86
f(2*452508571007)=85 < 2*f(452508571007)=86 f(2*452508571007-1)+1=86
f(2*452539460519)=85 < 2*f(452539460519)=86 f(2*452539460519-1)+1=86
f(2*452608371539)=85 < 2*f(452608371539)=86 f(2*452608371539-1)+1=86
f(2*453043778039)=85 < 2*f(453043778039)=86 f(2*453043778039-1)+1=86
f(2*453317850719)=84 < 2*f(453317850719)=85 f(2*453317850719-1)+1=85
f(2*453439655639)=85 < 2*f(453439655639)=86 f(2*453439655639-1)+1=86
f(2*455120315621)=85 < 2*f(455120315621)=86 f(2*455120315621-1)+1=86
f(2*455723691419)=84 < 2*f(455723691419)=85 f(2*455723691419-1)+1=85
f(2*456011565299)=85 < 2*f(456011565299)=86 f(2*456011565299-1)+1=86
f(2*458792599931)=85 < 2*f(458792599931)=86 f(2*458792599931-1)+1=86
f(2*461935668659)=85 < 2*f(461935668659)=86 f(2*461935668659-1)+1=86
f(2*465025967207)=85 < 2*f(465025967207)=86 f(2*465025967207-1)+1=86
f(2*465098297219)=84 < 2*f(465098297219)=85 f(2*465098297219-1)+1=85
f(2*465120788399)=85 < 2*f(465120788399)=86 f(2*465120788399-1)+1=86
f(2*466001017037)=85 < 2*f(466001017037)=86 f(2*466001017037-1)+1=86
f(2*470846365091)=84 < 2*f(470846365091)=85 f(2*470846365091-1)+1=85
f(2*471039896609)=84 < 2*f(471039896609)=85 f(2*471039896609-1)+1=85
f(2*471119009687)=85 < 2*f(471119009687)=86 f(2*471119009687-1)+1=86
f(2*471394456487)=85 < 2*f(471394456487)=86 f(2*471394456487-1)+1=86
f(2*471725192249)=85 < 2*f(471725192249)=86 f(2*471725192249-1)+1=86
f(2*473645464451)=85 < 2*f(473645464451)=86 f(2*473645464451-1)+1=86
f(2*474462968543)=85 < 2*f(474462968543)=86 f(2*474462968543-1)+1=86
f(2*475300370141)=84 < 2*f(475300370141)=85 f(2*475300370141-1)+1=85
f(2*476553701717)=85 < 2*f(476553701717)=86 f(2*476553701717-1)+1=86
f(2*477486195833)=85 < 2*f(477486195833)=86 f(2*477486195833-1)+1=86
f(2*477500720471)=85 < 2*f(477500720471)=86 f(2*477500720471-1)+1=86
f(2*479145877181)=85 < 2*f(479145877181)=86 f(2*479145877181-1)+1=86
f(2*479338791469)=85 < 2*f(479338791469)=86 f(2*479338791469-1)+1=86
f(2*480437285327)=85 < 2*f(480437285327)=86 f(2*480437285327-1)+1=86
f(2*481549354037)=85 < 2*f(481549354037)=86 f(2*481549354037-1)+1=86
f(2*488320871447)=85 < 2*f(488320871447)=86 f(2*488320871447-1)+1=86
f(2*490861776761)=85 < 2*f(490861776761)=86 f(2*490861776761-1)+1=86
f(2*492030270449)=85 < 2*f(492030270449)=86 f(2*492030270449-1)+1=86
f(2*492217731701)=84 < 2*f(492217731701)=85 f(2*492217731701-1)+1=85
f(2*494185683869)=85 < 2*f(494185683869)=86 f(2*494185683869-1)+1=86
f(2*494570958919)=85 < 2*f(494570958919)=86 f(2*494570958919-1)+1=86
f(2*497024617787)=85 < 2*f(497024617787)=86 f(2*497024617787-1)+1=86
f(2*497374549307)=86 < 2*f(497374549307)=87 f(2*497374549307-1)+1=87