The nForum has moved to Zulip: sequentially compact metric spaces are equivalently compact….