Bonse's inequality