Pigeonholes and triangles

https://freakonometrics.hypotheses.org/2395