Improved Batch Code Lower Bounds

Li, Wootters (blueprint)