A short and constructive proof of Tarski’s fixed-point theorem

I give short and constructive proofs of Tarski’s fixed-point theorem, and of Zhou’s extension of Tarski’s fixed-point theorem to set-valued maps.