mersenneforum.org Minimum (Number Theory Game)
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2021-12-14, 17:20 #23 ThomasK   Aug 2021 138 Posts As I just learned, mathematics professor Andreas Weingartner from Southern Utah University, Cedar City, Utah, USA has proven the following: lim n-> infinite Wo(n) / (0.612415 .... * x / ln x) = 1 I don't know the proof yet, but on June 30th, 2021 the proof was confirmed on https://oeis.org/A047836. This constant 0.612415 ... we call it the constant of the Nullwertzahlen. Professor Andreas Weingartner has proven even more. The following applies: Wo(n) = 0.612415... * n / ln n + O (n / (ln n )^2) Many thanks to Professor Andreas Weingartner. This is a significant improvement on what we previously knew. So far, we have only conjectured what he has proven. Last fiddled with by ThomasK on 2021-12-14 at 17:25

 Thread Tools

 Similar Threads Thread Thread Starter Forum Replies Last Post ZFR Puzzles 11 2021-01-07 05:17 sweety439 sweety439 0 2020-10-29 18:20 lukerichards Number Theory Discussion Group 7 2018-01-29 14:58 mfgoode Puzzles 2 2006-05-30 09:46 math Homework Help 2 2004-05-02 18:09

All times are UTC. The time now is 17:48.

Wed Dec 7 17:48:01 UTC 2022 up 111 days, 15:16, 2 users, load averages: 0.69, 0.83, 0.82

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔