Can someone verify this conjecture for me?