pigor: ..., D
f określa koniunkcja 3−ech następujących
nierówności :
16π−arcsin(log
1212x) ≥0 i x>0 i −1≤ log
1212x ≤ 1 ⇔
⇔ arcsin (log
12 12+ log
12x) ≤
16π i (*)
x >0 i
i −1≤ log
12 12+log
12 x ≤ 1 ⇒
⇒ sin(arcsin (1+log
12x)) ≤ sin(
16π) i −1≤ 1+log
12 x ≤ 1 /−1 ⇔
⇔ 1+log
12x ≤
12 i −2 ≤ log
12 x ≤ 0 ⇔
⇔ log
12x ≤ −
12 i (
12)
−2 ≥ x ≥ (
12)
0 ⇔
⇔ x
√2 i 1 ≤ x ≤ 4 , stąd i z (*) ⇔
√2 ≤ x ≤ 4 ⇔
x∊[√2 ;4] = D
f . ...

−−−−−−−−−−−−−−−−−−−−−−−−−
nie sprawdzam, licząc na uwagę ...

krok po kroku, zainteresowanych ,
pigor: ..., faktycznie może tak być, trudno, ..

;