더블카운팅인데 계산이랑 부등식증명이 귀찮은