>>586
広義積分により、オイラーの定数γの定義式
γ：＝lim_{n→+∞}(1＋1/2＋…＋1/n−log(n))
が定義する幾何的な意味を考えれば、
γの定義式から
γ＝∫_[1,+∞)(1/[x]−log(x))dx
は直ちに得られる