Dowód: metoda nie wprost bbs: Metodą nie wprost pokazać, że jeżeli średnia arytmetyczna liczb b₁, b₂ + ... + b₁0 jest mniejsza niż 3 to pewna z liczb b₁, b₂, ... , b₁0 jest mniejsza niż 3

===: Przecież gdyby żadna z tych liczb nie była mniejsza od 3 ... średnia nijak nie mogłaby być mniejsza od 3

Adamm:

	b1+...+b10
¬(		<3 ⇒ ∃i∊{1;...;10}bi<3) ⇔
	10

	b1+...+b10
⇔		<3 ∧ ∀i∊{1;...;10}bi≥3
	10

	b1+..+b10
skoro ∀i∊{1;...;10}bi≥3 to b1+...+b10≥30 ⇔		≥3
	10

	b1+...+b10
co jest w sprzeczności z		<3 zatem teza jest prawdziwa
	10