Joseph Hertzlinger on Nostr: npub1ky223…rghvc On the Long Line, all continuous real-valued functions are ...npub1ky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs5rghvc (npub1ky2…ghvc) On the Long Line, all continuous real-valued functions are eventually constant.