Explicit lower bound for large gaps between some consecutive primes - Keiju Sono (2024)