New lower bound on ball packing density in high-dimensional hyperbolic spaces | Synapse