Point-in-Time Universe Size

xxxxxxxxx xxxxxxxx_xxxxx(xxxxx, xxxxxxxx), xxxxx xxxxxxx, xxx xxxx xxxx, xxx xxxxxx xx xxxxx xxxx xxxx xxxxxx xx xxxx xxxx.

x xxxxxxxx xxxx xxxx xxxxx'x xxxx xx xxxxxx xxxxxxxxx xxxxxxxxx xxxxxxx xxxxxxx xxx xxxxxxxxxxxx xxxx: xxxxx xxxx xxxx xxxxxxxx xx xxxx xxxxxxxx xxx xxxxxxx. xxx xxx xx x xxxxx-xx-xxxx xxxxxxxx, xxx xxx xx xxxxx xxxxxxxx xxxxxx xx x xxxxx xxxx. xxxx xxxxxxx xxxx xxx xxx xxxx.

• xxxxx xx xx xxxxxxxx xxxx xx xxxxxxx xxxxx.
• xxxxxxxx xx x xxxx xx (xxxxxx, xxxxx, xxx) xxxxxx. xxx xxxxxxx xx xxxx xx xxxxx xxxx x xxxx xxxxx <= x <= xxx, xx xxxx xxxx xxx xxxxxxxxx: xxx xxxxxxxxx xxxx xx xxxxx x xxx xx xxxxxxxxxx.
• xxx xxx xx xxxx, xxxxxxx xxx xxxx xx xxxxx xxxxxx xxx xxx xx xxx xxxx.

xxxxxx x xxxx xx (xxxx, xxxxx), xxxxxx xx xxxx xxxxxxxxx, xxxxxx xxx xxxxxx xx xxxxxxxx xxxx xx xxxx xxxx.

xxxxxxxx

xxxxxxxx_xxxxx([x, x, x, x], [("x", x, x)])
# [(x, x), (x, x), (x, x), (x, x)]

xxxxxxxx_xxxxx([x], [("x", x, xxxx)])
# [(x, x)]

xxx xxxxx xxxxxxx xxxx xxxx xxxxxxxxxx: xxx xxxx xx xxxxxxx xx xxx xxxxx xxxx xxx xx xxx xxx xxxx, xxx xx xxxxxxx xx xxx xxxx xxxxxx xxxx.

xxxxxxxxxxx

• x <= xxx(xxxxx) <= xx^x xxx x <= xxx(xxxxxxxx) <= xx^x.
• xxxxx xxxx, xxxxx xxx xxx-xxxx xxx xx xx xxxxxxx xxxx (x xx x xx xx^x). xxx xxxxx xx xxx xxxxx xxxx xxx xxxxxx xx xxxxxxxx xxxxx, xx xx xxxxx xxxxxxx xx xxxx xx xxx xxxxx. xxxx xxx xxxxx xxx xxx xxxxxx xxxxxxx, xx xxxxxxxx xxx xxxxxxxxxxx xxxxx.
• xxxxx xxx xxxxxx xx xxx xxxxx. xxxx xxxxxxxxxx xxxx xxx xxx xxxxx xx xxx xxxxxx.
• x xxxxxxx xxxx xxx < xxxxx xx xxxxxxxxxx xxx xx xxxxx xxxx xx xxx xxxx. xxxx xxxxxxxx xxxx xxxxxxx x xxx xx xxxxxx xxxx x xxxxxxxx xxxxx.
• xxx xxxxxx xxxxxxxxxxx xxxx xxxx xxx,xxx xxxxx xxxxxxx xx,xxx xxxxxxx xxxxxxxxxxx xxxxxxxx. xxxxxxx xxxxx xxxxxxx xxx xxxxx xxxx xx ( x(x xxxx x) = x xxxxx xx^{x} ) xxx xxxx xxx xxxxxx. xxxx xxx xxxxxxxx xxxx xxxxxx xxx xxxxx.