% References cited in https://agora.t9k.dev/t/26/positive-lower-density-of-large-prime-gaps