Bourbaki marks this one as harder than the rest.
Cho f là một hàm giá trị thực xác định trên một tập con đóng A của R. Gọi limsupx→a,x⩾af(x) [resp. limsupx→a,x⩽af(x)] là giới hạn trên của f(x) khi x tiến tới một điểm a∈A trong khi vẫn thuộc A∩[a,+∞] (resp. A∩[−∞,a]). Chứng minh rằng tập hợp các điểm a∈A sao cho limsupx→a,x≥af(x)=limsupx→a,x≤af(x) là đếm được. [Chứng minh rằng, với mỗi cặp số hữu tỉ p,q sao cho p<q, tập hợp Gp,q các điểm a∈A sao cho
x→a,x≥alimsupf(x)≤p<q≤x→a,x≤alimsupf(x) là đếm được, bằng cách sử dụng Bài tập 1 của § 2].