Electronic density at the nucleus. On a conjecture of Lieb Heinz Siedentop (1994) Journées équations aux dérivées partielles