Inability to measure asymmetry
No, you can't measure the asymmetry. Consider these two communication diagrams, the first with a negative clock offset and equal delays and the second with no clock offset and entirely asymmetric delays (but the same round trip time).
The important thing to notice is that, from the perspective of both the PC and the server, the two interactions are exactly identical. They receive messages at the same time. They send messages at the same time.
You can create more cases by 'grabbing' the PC timeline and 'sliding' it, holding the message send/receive points fixed relative to their respective timelines. The asymmetries you cause are exactly negated by the clock offset. In fact, you can even make messages go BACKWARDS IN TIME one way (as long as the round trip time is still the same) and the server/client STILL can't tell!
Therefore it is impossible to measure latency asymmetries. In the worst case, where you have no information other than that one way latencies are positive and sum to the round trip time, the accuracy of clock synchronization is limited to the round trip time.
Can intermediate infrastructure help?
It dependsWhether or not the intermediate infrastructure can help will be heavily dependent upon your theoretical model of the situation.
If the asymmetry is constant and the intermediate infrastructure is the routers on the communication path between you and the server, then no. Even if each router synchronized their clock with the adjacent router, the errors would compound in the same way as if you had synchronized with the server via communication across the routers.
In practicethe real world you can userely on delays being somewhat symmetric for architectural reasons, repeated synchronizationsynchronizations to reduce asymmetry due to queuing delays (etc), and multiple communication paths in order to reduce the amountother sorts of asymmetry.
If you put your model's assumptions somewhere in between (not to mention the fact that there are good physical reasons for delaysbecause it's interesting to be somewhat symmetric)explore model space, making the assumption of T/2 more appropriatecourse) I expect the result should also be somewhere in between.