A
r
v
→
l
o
g
a
r
i
t
m
→
a
s
t
e
n
d
a
m
i
n
e
→
a
r
v
e
h
k
a
l
o
g
a
(
x
)
=
x
A
r
v
→
a
s
t
e
n
d
a
m
i
n
e
→
l
o
g
a
r
i
t
m
→
a
r
v
e
h
k
l
o
g
a
(
a
x
)
=
x