vhxs · October 23, 2022 01:47 · vhxs · Oct 23, 2022
diff --git a/ceil_inequality.py b/ceil_inequality.py
 # The following inequality doesn't hold for all x, y \in \mathbb{R}. Does it hold for x, y \in mathbb{N}?
 # Here's a bruteforce test for 1 <= x, y <= 1000

 import math

 for x in range(1, 1000):
    for y in range(1, 1000):
        assert y >= math.ceil(x / math.ceil(x / y))
	# The following inequality doesn't hold for all x, y \in \mathbb{R}. Does it hold for x, y \in mathbb{N}?
	# Here's a bruteforce test for 1 <= x, y <= 1000

	import math

	for x in range(1, 1000):
	for y in range(1, 1000):
	assert y >= math.ceil(x / math.ceil(x / y))