tryg gosis:

	π		cos x
Pokaż że jesli x ∊(0,		) to		>8
	4		sin2 x(cos x − sin x)

gosis: ref

ICSP:

	π
Jeżeli x ∊ (0 ;		) to tgx ∊ (0 , 1). Stąd jak łatwo sprawdzić jest :
	4

	π
8tg3(x) − 7tg2(x) + 1 > 0 dla x ∊ (0 ;		)
	4

Przekształćając powyższą nierównośc: tg²(x) + 1 > 8tg²(x) − 8tg³(x) // : tg²(x) − tg³(x) > 0

tg2(x) + 1
	> 8
tg2(x)[1 − tg(x)]

cosx		π
	> 8 dla x ∊ (0 ,		)
sin2x(cosx − sinx)		4

// Nierówność pozostanie prawdziwa jeśli 8 zastąpimy przez 9.

gosis: Ciekawy sposób