cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A231809 Denominator of asymptotic density of Union{H_p: p is odd prime and p <= n-th prime}, where H_p is {K*p*(p-1)/2 : K integer}.

This page as a plain text file.
%I A231809 #26 Feb 25 2025 01:46:03
%S A231809 1,3,5,5,165,165,561,561,12903,170085,170085,170085,170085,170085,
%T A231809 55957965,141368472245,25022219587365,25022219587365,25022219587365,
%U A231809 1776577590702915,1776577590702915,1776577590702915,287890168626762845,4749253940274679,4749253940274679
%N A231809 Denominator of asymptotic density of Union{H_p: p is odd prime and p <= n-th prime}, where H_p is {K*p*(p-1)/2 : K integer}.
%C A231809 See A231808.
%H A231809 José María Grau Ribas, <a href="/A231809/b231809.txt">Table of n, a(n) for n = 1..40</a>
%H A231809 Jose María Grau, A. M. Oller-Marcen, and Jonathan Sondow, <a href="http://arxiv.org/abs/1309.7941">On the congruence 1^n + 2^n +... + n^n = d (mod n), where d divides n</a>, arXiv:1309.7941 [math.NT], 2013-2014.
%e A231809 0, 1/3, 2/5, 2/5, 67/165, 67/165, 230/561, 230/561, 5317/12903, 70307/170085, 70307/170085, 70307/170085, 70307/170085, 70307/170085, 23158993/55957965, 58560723101/141368472245, 10373287618037/25022219587365
%t A231809 << DiscreteMath`Combinatorica` (*ver 5.0*)
%t A231809 << Combinatorica` (*ver 8.0*)
%t A231809 fa[n_] := FactorInteger[n]; lcm[lis_] := lcm[lis] = {aux = 1; Do[aux = LCM[aux, lis[[i]]], {i, 1, Length@lis}]; aux}[[1]]; inclusexclus[lis_] := inclusexclus[lis] =Sum[(-1)^(1 + Length[lis[[i]]])/lcm[lis[[i]]], {i, 1, Length@lis}]; densidad[lis_] := Sum[inclusexclus[KSubsets[lis, i]], {i, 1, Length[lis]}]; lista[n_] := Table[(Prime[i]^2 - Prime[i])/2, {i, 2, n}]; Table[Denominator@densidad[lista[i]], {i, 1, 15}]
%Y A231809 Cf. A008837, A229307, A231808.
%K A231809 nonn,hard,frac
%O A231809 1,2
%A A231809 _José María Grau Ribas_, Nov 13 2013