|
|
|
|
#35 by Michael De Vlieger at Tue Jul 25 22:43:44 EDT 2023
|
|
|
|
#34 by Jon E. Schoenfield at Tue Jul 25 22:30:09 EDT 2023
|
|
|
|
#33 by Jon E. Schoenfield at Tue Jul 25 22:30:07 EDT 2023
|
| FORMULA
|
Sum_{k=1..n} a(k) ~ n*(12*log(n)^2 + (24*gamma + 36*log(2) - 24)*log(n) + 24 - 24*gamma - 36*log(2) + 36*gamma*log(2) + 2*log(2)^2 - 18*log(5) + 18*gamma*log(5) + 27*log(2)*log(5) + 2*log(5)^2 + 18*log(5)*log(n) - 24*gamma_1)/(60*log(2)*log(5)), where gamma is the Euler's constant (A001620) and gamma_1 is the first Stieltjes constant (A082633). - Amiram Eldar, Jan 26 2023
|
| STATUS
|
approved
editing
|
|
|
|
#32 by Vaclav Kotesovec at Thu Jan 26 03:44:28 EST 2023
|
|
|
|
#31 by Michel Marcus at Thu Jan 26 01:16:36 EST 2023
|
|
|
Discussion
|
Thu Jan 26
| 03:44
| Vaclav Kotesovec: Confirmed.
|
|
|
|
#30 by Amiram Eldar at Thu Jan 26 01:04:37 EST 2023
|
|
|
|
#29 by Amiram Eldar at Thu Jan 26 01:03:42 EST 2023
|
| KEYWORD
|
nonn,easy,mult,changed
|
|
|
|
#28 by Amiram Eldar at Thu Jan 26 00:49:24 EST 2023
|
| FORMULA
|
Sum_{k=1..n} a(k) ~ n*(12*log(n)^2 + (24*gamma + 36*log(2) - 24)*log(n) + 24 - 24*gamma - 36*log(2) + 36*gamma*log(2) + 2*log(2)^2 - 18*log(5) + 18*gamma*log(5) + 27*log(2)*log(5) + 2*log(5)^2 + 18*log(5)*log(n) - 24*gamma_1)/(60*log(2)*log(5)), gamma is the Euler's constant (A001620) and gamma_1 is the first Stieltjes constant (A082633). - Amiram Eldar, Jan 26 2023
|
| CROSSREFS
|
Cf. A001620, A082633.
|
| STATUS
|
approved
editing
|
|
|
|
#27 by Joerg Arndt at Sun Jun 12 02:57:46 EDT 2022
|
|
|
|
#26 by Michel Marcus at Sun Jun 12 02:28:33 EDT 2022
|
|
|
|