I will speak about Margulis's conjecture on bounded injectivity radius vs bounded volume, which was recently resolved by Fraczyk and Gelander using stationary random subgroups.