Khẳng định đã nêu là đúng.Sau đây là chứng minh của spiderman :
Giả sử không phải như vậy nghĩa là với mọi e,với mọi hàm f trong A luôn tồn tại số n và các hàm f1,...,fn trong A sao cho sup|f-fi|<e với i=1..n.Điều này có nghĩa là không gian A là hoàn toàn bị chặn (1).
Mặt khác,dễ thấy A là đóng (2).
Và cuối cùng,để ý rằng không gian A là đầy đủ (3) cho nên từ (1,2,3) suy ra A là compact.
Vậy nhưng xét dãy hàm gn=x^n trong A.Khi đó dễ dàng chứng minh dãy này không có điểm tụ nào trong A,điều này mâu thuẫn với tính compact của A.Vậy ta có ĐPCM.
Lạy chúa!
Con không hề hoài nghi tí nào về sự hiện hữu hoài nghi của người nhưng con hoài nghi rất nhiều về sự minh mẫn và công bình của người!