# Theorem

kdohyeon

안녕하세요, 첫 번째 글입니다.

haejoo

앞서 포스팅했던 논문 Scheduling Algorithm for Multiprogramming in a Hard-Real-Time Environment을 읽으면서 선배와 함께 해봤던 증명을 정리한 내용이다.

otter275

$(\\mathbb{Q} \\; \\text{is dense in} \\; \\mathbb{R})$. The rational numbers are dense in the real numbers.임의의 $x,y$를 잡겠습니다. 여기서 $x < y$입니다.우리는 이제