cross-posted from: lemm.ee/post/29980757

Let π = 5