Este post se analiza la integral, $$I(k)=\int_0^k\pi(x)\pi(k-x)dx$$
donde $\pi(x)$ es el primer conteo de la función. Por ejemplo, $$I(13)=\int_0^{13}\pi(x)\pi(13-x)dx = 73$$
El uso de WolframAlpha, los 50 primeros valores de $k=1,2,3,\dots$ ,
$$I(k) = 0, 0, 0, 0, 1, 4, 8, 14, 22, 32, 45, 58, 73, 90, 110, 132, 158, 184, 214, 246, 282, 320, 363, 406, 455, 506, 562, 618, 678, 738, 804, 872, 944, 1018, 1099, 1180, 1269, 1358, 1450, 1544, 1644, 1744, 1852, 1962, 2078, 2196, 2321, 2446, 2581, 2718,\dots$$
Tratando de encontrar si la secuencia anterior obedeció a un patrón, me di cuenta de una inesperada relación:
P: Para todos los $n>0$, es cierto, $$I(6n+4) - 2\,I(6n+5) + I(6n+6) \overset{\color{red}?}= 0$$
Ejemplo, para $n=1,2$, luego $$I(10)-2I(11)+I(12)=32-2*45+58 = 0$$ $$I(16)-2I(17)+I(18)=132-2*158+184= 0$$ y así sucesivamente.