Find an inequality with more precise bound?