「If s^* = +∞, then E is not bounded above; hence {s_n} is not bounded above」

の

「E is not bounded above」のところがおかしいです。