@r9m hehe, I found his e-mail here,
[email protected]. So, if you want, you can email him and personally ask him if he even was aware of my proof, of that logarithmic integral. If you want to you can attach the doscument above with my whole proof. I'd be really glad to see his answer.