Monotonicity of some modified Bessel function products

For non-negative real order, the product of modified Bessel functions of first and second kind is shown to be strictly decreasing for positive real arguments. After recalling some established results, only elementary methods are required to complete the proof.