First replace by and later let . In the supersolution inequality use the nonnegative test function
where is compactly supported. Ellipticity and Young inequality give the Logarithmic Caccioppoli inequality
Choose on , supported in , with . Letting and using Fatou lemma gives