One probably doesn't need mathematics for such a proof. If the horn becomes infinitesimally small its capacity to be filled is limited by the size of the molecules of the substance filling it. When the size of the shape restricts to a smaller size than the molecule of the filling it is full despite continuing its form infinitesimally smaller. Not to say being able to do the math isn't cool. Of course it is.