For positive integers \(n \geq 2\), let \(a_n = \lceil n/\pi \rceil \) and let \(b_n = \lceil \csc (\pi/n) \rceil \). Is \(a_n = b_n\) for all \(n \neq 3\)?

The best solution was submitted by 김기수 (KAIST 수리과학과 18학번, +4). Congratulations!

Here is the best solution of problem 2022-08.

Other solutions were submitted by 조유리 (문현여고 3학년, +3), 이명규 (KAIST 전산학부 20학번, +3), 박기찬 (KAIST 새내기과정학부 22학번, +3), 여인영 (KAIST 물리학과 20학번, +3).