Talk:Von Neumann's trace inequality