[math-fun] A prime gap of 1001548