踏む踏む。
つまり L1 - R1 ~ LM - RM 間で共通項が何個あるか聞かれている気がした。

サクッと書いて WA.

Prison.py

N,M = map(int,input().split())
L = []
R = []
 
for _ in range(M):
    l,r = map(int,input().split())
    L.append(l)
    R.append(r)
 
st = max(L)
ed = min(R)
 
print(ed-st+1)

ん～、何で??

例えば L1, R1 がクソ大きい値だったとする。
L2,R2 がクソ小さい値だった場合。
冒頭の記述だとマイナスの場合が出てこないか？

Prison.py

N,M = map(int,input().split())
L = []
R = []
 
for _ in range(M):
    l,r = map(int,input().split())
    L.append(l)
    R.append(r)
 
st = max(L)
ed = min(R)
 
print(max(ed-st+1,0))# マイナスが出た場合、0 を最大値として取るように修正

ちゃんとエッジケースは考えなよ、イージーだね。。。って怒られた気がした。