(Translated by https://www.hiragana.jp/)
[1803.08363] Cumulative probability for the sum of exponentially-distributed variables