Verification of boundedness for the powers of symplectic matrices with the help of averaging