Strong Lower Bounds for Approximating Distribution Support Size and the Distinct Elements Problem