The four supporting springs act in parallel, so their total spring constant is . The driving angular frequency is . The force-driven vibration isolation estimate gives
At this mass, , and , so the assumptions are consistent. The exact forced amplitude is
It is indeed close to , but it is slightly above the strict requested bound. Setting the exact expression to gives the high-mass threshold
Choose a mass strictly greater than this threshold for a strict inequality; is a suitable rounded choice. Simply rounding the high-frequency estimate down would not guarantee the bound.