Counting collisions in gas models and Alexandrov Geometry of curvature bounded above Professor Dmitri Burago (The Pennsylvania State U) [LINK]