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

Let π = 5