https://9dok.net/document/zwvmw2ev-asymptotically-counting-points-of-bounded-height.html