let
decr_rate a s c = min 0.5 (1. /. (a *. float_of_int c))