Bourbaki marks this one as harder than the rest.
令 f 为定义在 R 的闭子集 A 上的实值函数。让 limsupx→a,x⩾af(x) [分别。 limsupx→a,x⩽af(x)]表示f(x)的上部极限,因为x趋于点a∈A,同时保持在A∩[a,+∞](或A∩[−∞,a])。证明点 a∈A 的集合使得 limsupx→a,x≥af(x)=limsupx→a,x≤af(x) 可数。 [证明,对于有理数数p,q的每个对,使得p<q、点a∈A的集合Gp,q使得
x→a,x≥alimsupf(x)≤p<q≤x→a,x≤alimsupf(x) 是可数的,通过利用习题 1 of § 2]。