limit->0  sin(pi x) cos(pi x)/x = pi

이거 이미 있는거임?