Experimental Verification of a Jarzynski-Related Information-Theoretic Equality by a Single Trapped Ion | Synapse