Peetre's inequality