ElitebookはHDMIではなくてDisplayPort 1.2が付いてますが、
この出力仕様ってどこかで確認できますか？
カタログにはアナログでの出力仕様しか書かれてないようで。
少し前のものはHDMIは1920x1080までの仕様のものが多いですが、
DisplayPortだと2560x1440出せるのが普通かなとは思います。
それを仕様情報としてちゃんと確認したいなと。中古物色中なもので。