Derive the high temperature approximation a bit more rigorously.