Actually the 7713 too (non-P, dual socket compatible) can be found for less than...

Actually the 7713 too (non-P, dual socket compatible) can be found for less than the 7C13, around $1500-1800:

Edit: from comparing https://www.servethehome.com/wp-content/uploads/2024/03/AMD-... and https://www.amd.com/en/products/cpu/amd-epyc-7713 it seems the only difference is the 7C13 has a Configurable TDP (cTDP, hence the "C" in product name) that is lower: 165-225W (7C13) vs 225-240W (7713). This would explain why the 7C13 is a tad more expensive than the 7713.