autopushed

2026-08-06 06:26:20 +00:00 · 2024-07-12 01:48:31 +02:00
parent aed0bbc2ff
commit 0a02688da2
1 changed files with 2 additions and 0 deletions
@@ -13,3 +13,5 @@
    - is that a valid [[at protocol]] uri? I believe it sort of should be but I haven't checked :)
 - Here I am having counted the primes up to 1000: [[168]]. So down to 16.8% of numbers being prime.
  - The [[Prime number theorem]] is what I was inching towards 
+  - https://en.wikipedia.org/wiki/Prime-counting_function#Table_of_%CF%80(x),_x/log(x),_and_li(x) is a [[great table]]
+  - The ratio is roughly (x/log(x))