Proof of the irrationality of √2 — Steemit