log(π/n)+log(n/√7π)の微分