Two Proofs of a Conjecture of Amdeberhan, Andrews and Ballantine for double Lambert series and a new Representation for $E_2(q)$ math.NT · 2026-05-20