On verifying the first-order Markovian assumption for a Rayleigh fading channel model | Synapse