Isn’t 0.4% of a gigantic city’s budget for just library services really fuckin expensive?
No. You're talking about something on the order of $3-5 / resident / year. That's significantly less than residents spend on Netflix - $192 / resident / year - by comparison. And they get access to physical space and materials, rather than having to source their own hardware to access the service.