Which maximum 2.5" hard disk thickness for 4x4?

Drives 9.5 mm high became an unofficial standard for all except the largest-capacity laptop drives (usually having two platters inside); 12.5 mm-high drives, typically with three platters, are used for maximum capacity, but will not fit most laptop computers. Enterprise-class drives can have a height up to 15 mm. Seagate released a 7 mm drive aimed at entry level laptops and high end netbooks in December 2009. Western Digital released on April 23, 2013 a hard drive 5 mm in height specifically aimed at Ultrabooks.[25]

https://en.wikipedia.org/wiki/List_of_disk_drive_form_factors