https://9dok.org/document/zlgew1jo-terminating-euler-formula-limiting-grüss-inequality-certain-bibasic.html