수업 과는 조금 관련이 없지만 wasserstein 강의를 보다 궁금한 점이 생겼습니다

동일한 measure 공간을 가지는 임의의 확률분포  $p,$  p^{'}  p​ ​′​​​​ , $q$ 가 있습니다.

이때  W(p^{'},q) > = W(p,q)  W(p​ ​′​​​​,q)>=W(p,q) 를 만족한다면

 KL(p^{'}||q)>=KL(p||q)  KL(p​ ​′​​​​∣∣q)>=KL(p∣∣q) 를 항상 만족하나요?

감사합니다.