Bihari–LaSalle inequality
1949 সালে মার্কিন গণিতবিদ জোসেফ পি. লাসাল (1916-1983) এবং 1956 সালে হাঙ্গেরিয়ান গণিতবিদ ইমরে বিহারী (1915-1998) বিহারী-লাসাল বৈষম্য প্রমাণ করেন। এটি গ্রনওয়ালের লেম্মার নিম্নলিখিত অরৈখিক সাধারণীকরণ। ধরা যাক u এবং f অর্ধ-অসীম রশ্মির [0, ν) উপর সংজ্ঞায়িত অ-ঋণাত্মক অবিচ্ছিন্ন ফাংশন, এবং ধরা যাক w একটি অবিচ্ছিন্ন অ-হ্রাসকারী ফাংশন যা [0, ν) এবং (0, ν) এর উপর সংজ্ঞায়িত করা হয়েছে। যদি u নিম্নলিখিত অবিচ্ছেদ্য অসমতাটিকে সন্তুষ্ট করে, যেখানে α একটি অ-ঋণাত্মক ধ্রুবক, তাহলে যেখানে G ফাংশনটি দ্বারা সংজ্ঞায়িত করা হয় এবং G−1 হল G এবং T এর বিপরীত ফাংশনটি বেছে নেওয়া হয় যাতে রেফারেন্স বৈষম্যমূলক সমীকরণগুলি অসমতা হয়।