limsin3X/tan5X=-3/5(X→π)是真命题吗

参考资料