Para k<ec√logx, usted puede probar que el anterior con parciales de suma junto con el teorema de los números primos, pero es demostrablemente falsa para k∼xu cuando asumimos RH. Para una solución completa, echa un vistazo a esta última respuesta. Específicamente, puedo demostrar que ∑p≤xpk=li(xk+1)+O(xk+1E(x)), where \textoli(x)=∫x21logtdt is the logarithmic integral, and where E(x) is any positive increasing function which bounds the error term π(x)−li(x). This gives the asymptotic ∑p≤xpk∼xk+1(k+1)logx uniformely for all k<ec√logx, and if you use the Walfisz bound it can be taken slightly further to ec(logx)3/5 con algunos doblemente logarítmica términos en el exponente.
Si se asume la Hipótesis de Riemann, esto muestra que sus expresiones no es la correcta para k≈xu donde 0<u<1. En RH tenemos que E(x)≪x12+ϵ, y de modo asintótico tiene para todos los k<x12−ϵ. A continuación, para k=xu tenemos logx−logk=(1−u)logx, lo que produce la asintótica (1−u)xk+1(k+1), which is off by the constant factor (1−u).
Puede haber una manera más sencilla de probar que su expresión es incorrecta para k∼xu que no requieren de RH. Creo que hay que ser inteligente, aunque.
Espero que ayude,