Skip to content

Commit 52fcded

Browse files
committedJun 6, 2025
Update README.
1 parent 5645cbe commit 52fcded

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed
 

‎src/dnup/README.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ file using `python3`.
1818

1919
* `two_sevenths.py` proves that $t_{2,3,5,7}(N) \ge 2N/7$ for
2020
sufficiently large $N$. The asymptotic and effective bounds are
21-
checked separately; the effective bound verified is $N \ge 9000000$.
21+
checked separately; the effective bound verified is $N \ge 8200000$.
2222

2323
The programs produce the following output:
2424

@@ -56,10 +56,10 @@ Asymptotic conditions (6.8) and (6.9) verified:
5656
t(N) >= alpha N for alpha=2/7 and sufficiently large N.
5757
5858
Conditions (6.2) and (6.3) verified for the modified sequence:
59-
t(N) >= alpha N for alpha=2/7 and N >= 9000000.
59+
t(N) >= alpha N for alpha=2/7 and N >= 8200000.
6060
6161
62-
real 0m0.065s
63-
user 0m0.062s
64-
sys 0m0.000s
62+
real 0m0.199s
63+
user 0m0.089s
64+
sys 0m0.012s
6565
```

0 commit comments

Comments
 (0)
Please sign in to comment.